ICALP 2019 : International Colloquium on Automata, Languages and Programming

  in Conferences   Posted on September 28, 2018

Conference Information

Submission Deadline Monday 18 Feb 2019
Conference & Submission Link https://icalp2019.upatras.gr/
Conference Dates Jul 8, 2019 - Jul 12, 2019
Conference Address Patras, Greece
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 28
CORE 2017 Rating: A
Guide2Research Overall Ranking: 138
Category Rankings
Software Engineering & Programming 30

Conference 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

Approximation Algorithms
Combinatorial Optimization
Combinatorics in Computer Science
Computational Biology
Computational Complexity
Computational Geometry
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.

Other Conferences in Greece

IMBSA 2019 : 6th International Symposium on Model-Based Safety and Assessment

Deadline :
Fri 03 May 2019
Oct 16, 2019 - Oct 18, 2019 - THESSALONIKI

WI 2019 : IEEE/WIC/ACM International Conference on Web Intelligence

Deadline :
Sun 12 May 2019
Oct 14, 2019 - Oct 17, 2019 - Thessaloniki

WI 2019 : IEEE/WIC/ACM International Conference on Web Intelligence (main conference CfPs)

Deadline :
Sun 12 May 2019
Oct 14, 2019 - Oct 17, 2019 - Thessaloniki

DLS 2019 : 15th Dynamic Languages Symposium, co-located with SPLASH 2019

Deadline :
Wed 05 Jun 2019
Oct 20, 2019 - Oct 25, 2019 - Athens