# Important Dates

- Submission deadline: 18 February 2019, 23:59 AoE
- Notification: 19 April 2019
- Workshop submission deadline: TBA
- Final manuscript due: TBA
- Early registration deadline: TBA
- Workshops: 8 July 2019
- Main conference: 9-12 July 2019

# Submissions

### Topics

###### 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

- Approximation Algorithms
- Combinatorial Optimization
- Combinatorics in Computer Science
- Computational Biology
- Computational Complexity
- Computational Geometry
- Cryptography
- Data Structures
- Design and Analysis of Algorithms
- Foundations of Algorithmic Game Theory
- Machine Learning
- Parallel, Distributed and External Memory Computing
- Quantum Computing
- Randomness in Computation

#### Track B: Automata, logic, semantics, and theory of programming

- Algebraic and Categorical Models
- Automata, Games, and Formal Languages
- Emerging and Non-standard Models of Computation
- Databases, Semi-Structured Data and Finite Model Theory
- Logic in Computer Science, Theorem Proving and Model Checking
- Models of Concurrent, Distributed, and Mobile Systems
- Models of Reactive, Hybrid and Stochastic Systems
- Principles and Semantics of Programming Languages
- Program Analysis and Transformation
- Specification, Verification and Synthesis
- Type Systems and Theory, Typed Calculi

#### Track C: Foundations of networks and multi-agent systems: models, algorithms and information management

- Algorithmic Aspects of Networks and Networking
- Algorithmic Game Theory
- Formal Methods for Network Information Management
- Foundations of Privacy, Trust and Reputation in Networks
- Foundations of Complex Networks
- Message-Passing Models of Distributed Computing
- Mobile and Wireless Networks and Communication
- Network Economics and Incentive-Based Computing Related to Networks
- Networks of Low Capability Devices
- Network Mining and Analysis
- Overlay Networks and P2P Systems
- Specification, Semantics, Synchronization of Networked Systems
- Theory of Security in Networks

Focus of track C: The aim for Track C is to be the leading venue for theory papers motivated by networking applications, and/or proposing theoretical results relevant to networking, certified analytically.

# Program Committees

#### Track A: Algorithms, complexity and games

- Stefano Leonardi, chair (Sapienza University of Rome, Italy)

#### Track B: Automata, logic, semantics, and theory of programming

- Christel Baier, chair (Technical University of Dresden, Germany)

#### Track C: Foundations of networks and multi-agent systems: models, algorithms and information management

- Paola Flocchini, chair (University of Ottawa, Canada)