LiCS ICALP FSCD 2024

CONFERENCES

ICALP 2024 (8-12 July)
The 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP). ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).

LICS 2024 (8-11 July)
The 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

FSCD 2024 (10-13 July)
The 9th International Conference on Formal Structures for Computation and Deduction (FSCD). FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications.

Call for Workshops

ICALP, LICS, and FSCD 2024 will be colocated in Tallinn from 8th to 13th of July. Proposals must be limited to three pages and should be submitted to 'mailto:icalp-lics-fscd-24-workshops@inria.fr'. Proposals should include:

Workshop's name and URL if already available or from previous years

A short scientific summary and justification of the proposed topic; this should include a discussion of the particular benefits of any topic related to ICALP track A/B, LICS, and FSCD conferences

A list of workshop organizers with contact information

The suggested affiliated conference (if the workshop can be attractive to more than one conference, please also mention that)

Potential invited speakers (please specify their expected number and, if possible, tentative names)

Procedures for selecting presentations (if you plan a call for contributed talks or papers followed by a selection procedure, the submission date should be scheduled after the affiliated conference's notification date, while the notification should take place before the early registration deadline)

Plans for publication, if any (*e.g.* proceeding, journal special issue, etc.)

Proposed format and agenda (*e.g.* in person only or also hybrid, paper presentations, tutorials, demo sessions)

The proposed duration (*e.g.* 1/2, 1, 2 day(s))

Expected number of participants, providing some data on previous years, if the workshop has already been organised in the past

Any other relevant information and special wishes regarding the schedule (*e.g.* time closeness/overlapping to a precise conference, workshops that should (not) be planned on the same day)

The organising and workshop committees of ICALP, LICS, and FSCD will determine the final list of accepted workshops based on semantic pertinence and time/space availability.

The conference will provide a room, internet connection and help with some local organization. Refreshments and meals will be served in sync with the three conferences.

IMPORTANT DATES

Submission of workshop proposals: 31 December

Notification of the accepted workshops: end of January

Programme of the workshops ready: 31st May

Workshops:

ICALP track A: 6-7th July

ICALP track B / LICS: 6-7th July

FSCD: 8-9th and potentially 14th July

Main conferences:

ICALP: 8-12 July

LICS: 8-11 July

FSCD: 10-13 July

Previous ICALP, LICS, and FSCD workshop calls

ICALP 2023

LICS 2023

FSCD 2023

JOINT INVITED SPEAKERS

Edith Elkind, University of Oxford

Stephanie Weirich, UPenn

ICALP 2024

51st EATCS International Colloquium on Automata, Languages and Programming

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2024 will be preceded by a series of workshops, which will take place on July 7, 2024.

ICALP 2024 is organized by the Department of Software Science, Tallinn University of Technology, in cooperation with the European Association for Theoretical Computer Science (EATCS).

The first ICALP conference was organized in 1972. For more information about previous editions, see the EATCS webpage http://eatcs.org/index.php/international-colloquium.

Important dates

Submissions: February 14, 2024 at 1pm CET
Rebuttal: March 26-29, 2024
Author notification: April 14, 2024
Camera-ready version: April 28, 2024
Early registration: TBA
Conference: July 8-12, 2024
Workshops: July 7, 2024

Submissions

Paper submissions will be handled via Easychair. The link will be accessible here soon.

SafeToC

ICALP has joined http://safetoc.org.

Participants have to follow the ICALP code of conduct.

ICALP TRACKS

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 and Complexity Aspects of Network Economics
Algorithmic Aspects of Biological and Physical Systems
Algorithmic Aspects of Networks and Networking
Algorithmic Aspects of Security and Privacy
Algorithmic Game Theory and Mechanism Design
Approximation and Online Algorithms
Combinatorial Optimization
Combinatorics in Computer Science
Computational Complexity
Computational Geometry
Computational Learning Theory
Cryptography
Data Structures
Design and Analysis of Algorithms
Distributed and Mobile Computing
Foundations of Machine Learning
Graph Mining and Network Analysis
Parallel and External Memory Computing
Parameterized Complexity
Quantum Computing
Randomness in Computation
Sublinear Time and Streaming Algorithms
Theoretical Foundations of Algorithmic Fairness

Track B

Automata, Logic, Semantics, and Theory of Programming

Algebraic and Categorical Models of Computation
Automata, Logic, and Games
Database Theory, Constraint Satisfaction Problems, and Finite Model Theory
Formal and Logical Aspects of Learning
Formal and Logical Aspects of Security and Privacy
Logic in Computer Science and Theorem Proving
Models of Computation: Complexity and Computability
Models of Concurrent, Distributed, and Mobile Systems
Models of Reactive, Hybrid, and Stochastic Systems
Principles and Semantics of Programming Languages
Program Analysis, Verification, and Synthesis
Type Systems and Typed Calculi

ICALP COMMITTEES

Conference chair
Pawel Sobocinski (Tallinn UoT)

Organising committee

Niccolò Veltri (Tallinn University of Technology)

Amar Hadzihasanovic (Tallinn University of Technology)

Fosco Loregian (Tallinn University of Technology)

Matt Earnshaw (Tallinn University of Technology)

Diana Kessler (Tallinn University of Technology)

Ekaterina Zhuchko (Tallinn University of Technology)
Kristi Ainen (Tallinn University of Technology)

Proceedings chair
Gabriele Puppis (University of Udine, Italy)

Workshop chairs

Valentin Blot (ENS Paris-Saclay)

Valia Mitsou (IRIF, University Paris Cité)
Ekaterina Zhuchko (Tallinn University of Technology)

Programme Commitee (Track A)

Chairs: Karl Bringmann (Saarland University, Germany) and Ola Svensson (EPFL, Switzerland)

Nima Anari (Stanford University)

Karl Bringmann (co-chair, Saarland University)

Parinya Chalermsook (Aalto University)

Vincent Cohen-Addad (Google Research)

Jose Correa (Universidad de Chile)

Holger Dell (Goethe University Frankfurt)

Ilias Diakonikolas (University of Wisconsin-Madison)

Yuval Filmus (Technion)

Arnold Filtser (Bar Ilan University)

Naveen Garg (IIT Delhi)

Pawel Gawrychowski (University of Wrocław)

Anupam Gupta (Carnegie Mellon University)

Samuel Hopkins (MIT)

Sophie Huiberts (Columbia University)

Giuseppe Italiano (LUISS University)

Michael Kapralov (EPFL)

Eun Jung Kim (Université Paris-Dauphine)

Sándor Kisfaludi-Bak (Aalto University)

Tomasz Kociumaka (Max-Planck-Institute for Informatics)

Fabian Kuhn (University of Freiburg)

Amit Kumar (IIT Delhi)

William Kuszmaul (Harvard University)

Rasmus Kyng (ETH Zurich)

Kasper Green Larsen (Aarhus University)

François Le Gall (Nagoya University)

Pasin Manurangsi (Google Research)

Daniel Marx (CISPA Helmholtz Center for Information Security)

Yannic Maus (TU Graz)

Nicole Megow (University of Bremen)

Ruta Mehta (University of Illinois at Urbana-Champaign)

Jakob Nordström (University of Copenhagen)

Richard Peng (University of Waterloo)

Seth Pettie (University of Michigan)

Adam Polak (Bocconi University)

Lars Rohwedder (Maastricht University)

Eva Rotenberg (DTU Compute)

Sushant Sachdeva (University of Toronto)

Melanie Schmidt (University of Cologne)

Sebastian Siebertz (University of Bremen)

Shay Solomon (Tel Aviv University)

Nick Spooner (University of Warwick)

Clifford Stein (Columbia University)

Ola Svensson (co-chair, EPFL)

Luca Trevisan (Bocconi University)

Ali Vakilian (Toyota Technological Institute Chicago)

Jan van den Brand (Georgia Tech)

Erik Jan van Leeuwen (Utrecht University)

Oren Weimann (University of Haifa)

Nicole Wein (University of Michigan)

Andreas Wiese (TU Munich)

John Wright (UC Berkeley)

Programme Committee (Track B)

Chair: Martin Grohe (RWTH Aachen University)

Arnold Beckmann (Swansea University)

Manuel Bodirsky (TU Dresden)

Patricia Bouyer (LMF Cachan)

Yijia Chen (Shanghai Jiao Tong University)

Victor Dalmau (Universitat Pompeu Fabra)

Laurent Doyen (CNRS, LMF)

Marcelo Fiore (Cambridge University)

Stefan Göller (University of Kassel)

Martin Grohe (RWTH Aachen University, chair)

Sandra Kiefer (Oxford University)

Aleks Kissinger (Oxford University)

Bartek Klin (Oxford University)

Antonin Kucera (Masaryk University Brno)

Carsten Lutz (University of Leipzig)

Jerzy Marcinkowski (University of Wrocław)

Annabelle McIver (Macquaire University Sidney)

Andrzej Murawski (Oxford University)

Pawel Parys (University of Warsaw)

Michał Pilipczuk (University of Warsaw)

Joel Ouaknine (Max Planck Institute for Software Systems)

David Reutter (University of Hamburg)

Christian Riveros (Pontificia Universidad Catolica de Chile)

Alexandra Silva (Cornell University)

Balder ten Cate (ILLC Amsterdam)

Szymon Toruńczyk (University of Warsaw)

Efi Tsamoura (Samsung AI Centre)

Igor Walukiewicz (CNRS, University of Bordeaux)

Sarah Winter (IRIF, University Paris Cité)

Georg Zetzsche (Max Planck Institute for Software Systems)

Martin Ziegler (KAIST)

ICALP CODE OF CONDUCT

ICALP is committed to be a respectful forum for its participants, free from any discrimination or harassment of any nature, particularly when abuse of power is involved. All ICALP attendees are expected to behave accordingly.

If you experience or witness discrimination, harassment or other unethical behavior at the conference, we encourage you to seek advice and remedy through one or more of the following options:

Consult with the SafeToC counsellors of ICALP (listed below). Report to the conference chair, the PC chairs or the Steering Committee chair. The chairs are entitled to remove registered participants from the conference (without refunding the conference fees) if they are deemed to pose an ethical risk to other participants.

ICALP 2024 SafeToC Counsellors: TBA

JOINT INVITED SPEAKERS

Edith Elkind, University of Oxford

Stephanie Weirich, UPenn

ICALP LiCS FSCD

2024

Tallinn, Estonia, 8-13 July 2024

ICALP 2024

51st EATCS International Colloquium on Automata, Languages and Programming

Important dates

Submissions

SafeToC

ICALP TRACKS

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

Track B

Automata, Logic, Semantics, and Theory of Programming

ICALP COMMITTEES

Conference chair

Organising committee

Proceedings chair

Workshop chairs

Programme Commitee (Track A)

Chairs: Karl Bringmann (Saarland University, Germany) and Ola Svensson (EPFL, Switzerland)

Programme Committee (Track B)

Chair: Martin Grohe (RWTH Aachen University)

SPONSORS

Registration

TBA

Local Information

TBA