<pre>ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, the main conference will be preceded and/or followed by a series of workshops.<br>Papers presenting original research on all aspects of theoretical<br>computer science are sought. Typical but not exclusive topics of<br>interest are:<br>Track A: Algorithms, Complexity and Games<br>–––––––––––––––––––––––––––––––––––––––––<br>* Algorithmic Game Theory<br>* Approximation Algorithms<br>* Combinatorial Optimization<br>* Combinatorics in Computer Science<br>* Computational Biology<br>* Computational Complexity<br>* Computational Geometry<br>* Cryptography<br>* Data Structures<br>* Design and Analysis of Algorithms<br>* Machine Learning<br>* Parallel, Distributed and External Memory Computing<br>* Randomness in Computation<br>* Quantum Computing<br>Track B: Logic, Semantics, Automata and Theory of Programming<br>–––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br>* Algebraic and Categorical Models<br>* Automata, Games, and Formal Languages<br>* Emerging and Non–standard Models of Computation<br>* Databases, Semi–Structured Data and Finite Model Theory<br>* Principles and Semantics of Programming Languages<br>* Logic in Computer Science, Theorem Proving and Model Checking<br>* Models of Concurrent, Distributed, and Mobile Systems<br>* Models of Reactive, Hybrid and Stochastic Systems<br>* Program Analysis and Transformation<br>* Specification, Refinement, Verification and Synthesis<br>* Type Systems and Theory, Typed Calculi<br>Track C: Foundations of Networked Computation:<br>Models, Algorithms and Information Management<br>––––––––––––––––––––––––––––––––––––––––––––––––––––––<br>* Algorithmic Aspects of Networks and Networking<br>* Formal Methods for Network Information Management<br>* Foundations of Privacy, Trust and Reputation in Networks<br>* Mobile and Wireless Networks and Communication<br>* Network Economics and Incentive–Based Computing Related to Networks<br>* Networks of Low Capability Devices<br>* Network Mining and Analysis<br>* Overlay Networks and P2P Systems<br>* Specification, Semantics, Synchronization of Networked Systems<br>* Theory of Security in Networks<br></pre>
Abbrevation
ICALP
City
Kyoto
Country
Japan
Deadline Paper
Start Date
End Date
Abstract