| |||||||||||
EATCS 2013 : Annual Meeting of the European Association for Theoretical Computer Science | |||||||||||
Link: http://www.icalp2013.lu.lv | |||||||||||
| |||||||||||
Call For Papers | |||||||||||
Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are:
Track A: Algorithms, Complexity and Games · Algorithmic Game Theory · Approximation Algorithms · Combinatorial Optimization · Combinatorics in Computer Science · Computational Biology · Computational Complexity · Computational Geometry · Cryptography · Data Structures · Design and Analysis of Algorithms · Machine Learning · Parallel, Distributed and External Memory Computing · Parameterized Algorithms and Complexity · Randomness in Computation · Quantum Computing Track B: Logic, Semantics, Automata and Theory of Programming · Algebraic and Categorical Models · Automata Theory, Formal Languages · Emerging and Non-standard Models of Computation · Databases, Semi-Structured Data and Finite Model Theory · Principles of Programming Languages · Logics, Formal Methods and Model Checking · Models of Concurrent, Distributed, and Mobile Systems · Models of Reactive, Hybrid and Stochastic Systems · Program Analysis and Transformation · Specification, Refinement and Verification · Type Systems and Theory, Typed Calculi Track C: Foundations of Networked Computation: Models, Algorithms and Information Management · Cloud Computing, Overlay Networks, P2P Systems · Cryptography, Privacy, Security, Spam · Distributed and Parallel Computing · E-commerce, Auctions, Trust and Reputation · Game Theory, Incentives, Selfishness · Internet Algorithms · Mobile and Complex Networks · Natural and Physical Algorithms · Network Information Management · Sensor, Mesh, and Ad Hoc Networks · Social Networks, Viral Marketing · Specification, Semantics, Synchronization · Web Mining, Searching, Ranking and Analysis · Wireless and Optical Communication |
|