ICALP
Member since:
2021-01-15
Last seen:
2021-01-15
User details
Name:
International Colloquium on Automata, Languages and Programming (ICALP)
Affiliation:
European Association for Theoretical Computer Science (EATCS)
About me:
The International Colloquium on Automata, Languages and Programming (ICALP) is the flagship conference and annual meeting of the EATCS. The conference was launched in 1972 and covers all aspects of theoretical computer science. ICALP customarily takes place during the second or third week of July.
ICALP’s scientific program is split into two parts: Track A of the meeting corresponds to Algorithms, Complexity, and Games, and Track B to Automata, Logic, Semantics, and Theory of Programming. Typical topics are: algorithmic aspects of network economics, approximation and online algorithms, automata theory, combinatorial optimisation, computational complexity, design and analysis of algorithms, formal aspects of security, foundations of databases, games and logic, logic and semantics of programs, mathematical aspects of programming, models of concurrent, reactive and stochastic systems, networked computation, parallel and distributed computing, quantum computing, randomness in computing, type systems, verification and synthesis.
Papertalks of ICALP
08/07/2020
Approximate Nearest Neighbor for Curves --- Simple, Efficient, and Deterministic
Arnold Filtser, Omrit Filtser, Matthew Katz
Keywords Paper
polygonal curves, Fréchet distance, dynamic time warping, approximation algorithms, (asymmetric) approximate nearest neighbor, range counting
0
0
0
0
19:55
08/07/2020
A Simple Dynamization of Trapezoidal Point Location in Planar Subdivisions
Milutin Brankovic, Nikola Grujic, André van Renssen, Martin P. Seybold
Keywords Paper
Dynamization, Trapezoidal Search Tree, Trapezoidal Search DAG, Backward Analysis, Point Location, Planar Subdivision, Treap, Order-maintenance
0
0
0
0
25:10
08/07/2020
On the central levels problem
Petr Gregor, Ondřej Mička, Torsten Mütze
Keywords Paper
Gray code, Hamilton cycle, hypercube, middle levels, symmetric chain decomposition
0
0
0
0
26:54
08/07/2020
Modal Intuitionistic Logics as Dialgebraic Logics
Jim de Groot and Dirk Pattinson
Keywords Paper
dialgebras, coalgebraic logic, modal logic
0
0
0
0
20:54
08/07/2020
Counting homomorphisms in plain exponential time
A.Bulatov, A. Dadsetan
Keywords Paper
graph homomorphisms, plain exponential time, clique width
0
0
0
0
26:21