ICALP 2019 : International Colloquium on Automata, Languages and Programming

  in Conferences   Posted on September 28, 2018

Conference Information

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

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 112
Category Rankings
Software Engineering & Programming 24

Google Scholar H5-index:
32

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

EuroSys 2020 : ACM European Conference on Computer Systems

Deadline :
Mon 04 Nov 2019
Apr 27, 2020 - Apr 30, 2020 - Crete
Greece

ISSAC 2020 : International Symposium on Symbolic and Algebraic Computation

Deadline :
to be confirmed
Jul 20, 2020 - Jul 23, 2020 - Kalamata
Greece

ESWC 2020 : Extended Semantic Web Conference

Deadline :
to be confirmed
May 31, 2020 - Jun 4, 2020 - Heraklion
Greece

ISWC 2020 : International Conference on The Semantic Web

Deadline :
to be confirmed
Nov 2, 2020 - Nov 6, 2020 - Athens
Greece