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

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.

Other Conferences in Greece

ICB 2019 : International Conference on Biometrics

Deadline :
Sat 15 Dec 2018
Jun 4, 2019 - Jun 7, 2019 - Crete
Greece

ICB 2019 : International Conference on Biometrics

Deadline :
Sat 15 Dec 2018
Jun 4, 2019 - Jun 7, 2019 - Crete
Greece

DCOSS 2019 : 15th International Conference on Distributed Computing in Sensor Systems

Deadline :
Fri 18 Jan 2019
May 29, 2019 - May 31, 2019 - Santorini Island
Greece

ICNS 2019 : The Fifteenth International Conference on Networking and Services

Deadline :
Sun 20 Jan 2019
Jun 2, 2019 - Jun 6, 2019 - Athens
Greece

ICAS 2019 : The Fifteenth International Conference on Autonomic and Autonomous Systems

Deadline :
Sun 20 Jan 2019
Jun 2, 2019 - Jun 6, 2019 - Athens
Greece