-->

JOINT INVITED SPEAKERS

Edith Elkind

Edith Elkind

University of Oxford

Stephanie Weirich

Stephanie Weirich

UPenn

ICALP INVITED SPEAKERS

Anuj Dawar

Anuj Dawar

University of Cambridge

Danupon Nanongkai

Danupon Nanongkai

MPI Saarbrücken

Merav Parter

Merav Parter

Weizmann Institute

LICS INVITED SPEAKERS

Martin Escardó

Martin Escardó

University of Birmingham

Alexandra Silva

Alexandra Silva

Cornell University

LICS INVITED TUTORIAL SPEAKERS

Sam Buss

Sam Buss

UCSD

Alex Simpson

Alex Simpson

University of Ljubljana

FSCD INVITED SPEAKERS

Delia Kesner

Delia Kesner

Université Paris Cité

Bettina Könighofer

Bettina Könighofer

TU Graz

Sebastian Ullrich

Sebastian Ullrich

LEAN-FRO and Karlsruhe Institute of Technology

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: May 17, 2024
  • Conference: July 8-12, 2024
  • Workshops: July 6-7, 2024

Submissions

Paper submissions are handled via Easychair.

1) Papers must present original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Authors are encouraged to also make full versions of their submissions freely accessible in an on-line repository such as ArXiv, HAL, ECCC.

2) Submissions take the form of an extended abstract of no more than 15 pages, excluding references and a clearly labelled appendix. The appendix may consist either of omitted proofs or of a full version of the submission, and it will be read at the discretion of program committee members. The use of the LIPIcs document class is an option, but not required. The extended abstract has to present the merits of the paper and its main contributions clearly, and describe the key concepts and technical ideas used to obtain the results. Submissions must provide the proofs which can enable the main mathematical claims of the paper to be verified.

3) Submissions are anonymous. The conference will employ a lightweight double-blind reviewing process. Submissions should not reveal the identity of the authors in any way. Authors should ensure that any references to their own related work are in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).

The purpose of this double-blind process is to help PC members and external reviewers come to an initial judgment about the paper without bias, and not to make it impossible for them to discover who the authors are if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas.

4) Submissions authored or co-authored by members of the program committee are allowed.

5) The submissions are done via Easychair to the appropriate track of the conference (see topics below). The use of pdflatex or similar pdf generating tools is mandatory and the page limit is strict (see point 2.) Papers that deviate significantly from these requirements risk rejection without consideration of merit.

6) During the rebuttal phase, authors will have from March 26-29, 2024 to view and respond to initial reviews. Further instructions will be sent to authors of submitted papers before that time.

7) At least one author of each accepted paper is expected to register for the conference, and all talks are in-person. In exceptional cases, there may be support for remotely presenting a talk.

8) Papers authored only by students should be marked as such upon submission in order to be eligible for the best student paper awards of the track.

SafeToC

ICALP has joined http://safetoc.org.

Participants have to follow the ICALP code of conduct.

The ICALP 2024 SafeToc advocate is Diana Kessler.

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

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 (CNRS, LMF)
  • 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 Sydney)
  • Andrzej Murawski (Oxford University)
  • Paweł Parys (University of Warsaw)
  • Michał Pilipczuk (University of Warsaw)
  • Joel Ouaknine (Max Planck Institute for Software Systems)
  • Christian Riveros (Pontificia Universidad Catolica de Chile)
  • Alexandra Silva (Cornell University)
  • Balder ten Cate (ILLC Amsterdam)
  • Szymon Toruńczyk (University of Warsaw)
  • Igor Walukiewicz (CNRS, University of Bordeaux)
  • Sarah Winter (IRIF, University Paris Cité)
  • Georg Zetzsche (Max Planck Institute for Software Systems)
  • Martin Ziegler (KAIST)

Registration

All prices are in euros and include 22% VAT. Note that every accepted paper requires at least one regular (non-student) registration.

The prices listed below are the early bird prices, valid until May 17.

Early birdAll inclusiveICALP 2024LiCS 2024FSCD 2024Workshops (1 day)Workshops (2 days)Workshops (3 days)Workshops (unlimited)
Regular non-member 1000 800 640 640 80160240320
Regular member 950 750 590 590
Student non-member 780 600 480 480 60120180240
Student member 730 550 430 430

The prices listed below are the late registration prices, in place after May 17.

Late registrationAll inclusiveICALP 2024LiCS 2024FSCD 2024Workshops (1 day)Workshops (2 days)Workshops (3 days)Workshops (unlimited)
Regular non-member 1200 960 770 770 100200300400
Regular member 1150 910 720 720
Student non-member 780 720 580 580 80160240320
Student member 730 670 530 530

Membership discounts

The relevant membership disounts apply as follows: for ICALP an EATCS membership, for LiCS an ACM/ACM SigLog/IEEE membership, for FSCD an ACM/ACM SigLog/ACM SIGPLAN membership. Any of the above memberships qualifies for a discounted all-inclusive price.

Workshop participation

Conference participants who purchase a conference-specific registration (i.e. ICALP, LiCS or FSCD) and who also wish to attend workshops need to purchase an additional workshop registration, depending on how many days of workshops they wish to attend. The all-inclusive price includes access to all three conferences and unlimited workshop participation.

Welcome reception, Tuesday 9 July

All conference registrations include a ticket to the Welcome reception at Kadriorg Art Museum, Weizengergi 37, on the evening of Tuesday 9 July.

Joint banquet, Wednesday 10 July

The joint banquet will be held on Wednesday 10 July at the Tallinn Seaplane Harbour Museum. All participants who want to attend the banquet must purchase a banquet ticket separately -- the early bird price until May 17 is 85 euros per banquet ticket, the price after May 17 is 100 euros. Additional banquet tickets can be purchased for accompanying people. Note that the all-inclusive price does not include a banquet ticket.

To register, please click on the following link. Our partner Fienta takes payments and provides invoices. For questions regarding registration please email icalp_lics_fscd2024@taltech.ee.

Local Information

For questions regarding local organisation and local information, please email ICALP_LiCS_FSCD2024@taltech.ee.

Venue, Tallinn and Estonia

The conferences and workshops will be held in the Astra building on the campus of Tallinn University.

Astra building

The address is Narva mnt 29. This is a central location, within walking distance of the old town, and is easily accessible from the airport. There will be some disruption of local transport in Tallinn in the summer due to planned road upgrades. You can plan your trip here.

Conference participants may take the opporunity to extend their stay and visit Estonia. Estonia is truly magical in early July – there's plenty of sun and the evenings are long and warm. The portal visit estonia is a great source of tourist information.

For useful advice and inspiration on Tallinn’s top attractions, activities, events, and places to eat and drink, check out the city’s official tourism portal, visittallinn.ee, or follow @VisitTallinn on social media

.

July 9 Welcome Reception

Venue: Kadriorg Art Museum (housed in the Kadriorg Palace)

Address: Weizenbergi 37

Walk from the Conference Venue : 1,1 km / 16 minutes

Kadriorg Art Museum

July 10 Joint Banquet

Venue: Seaplane Harbour Museum

Address: Vesilennuki 6

Distance from the Conference Venue ca 3 km. Transfers will be provided from the conference venue.

Seaplane Harbour Museum

Accommodation

There are plenty of accommodation choices for all budgets in the area. We have an agreed discount rate for a limited number of rooms for conference participants at several local hotels:

  • Nordic Hotel Forum, (4* superior), Viru väljak 3, which is 15 minutes walk or a 3 minute tram ride from the conference location. Nordic Hotel Forum is a 4 star superior hotel in the prime location in Tallinn that has recently completed a full renovation to the entire hotel. The hotel offers spacious and elegant hotel rooms and a Leisure Centre on the 8th floor with magnificent views over the historic Old Town of Tallinn. The price includes buffet breakfast, free WiFi and use of hotel’s leisure centre on the top floor with fully equipped gym, indoor pool and saunas. Book here.

  • Kalev Spa Hotel and Water Park, (4*), Aia St 18, 20 minutes walk from the conference venue and accessible by Bus Line 8, stop Ahtri to Uus-Sadama. Located near the historic Old Town and the culturally vibrant seashore area. Perfect for both leisure and business travellers looking to rejuvenate body and soul with the ultimate spa experience. Modern amenities, including luxurious spa facilities, indoor pools, and comfortable accommodation. Book here.

  • Radisson Park Inn Central, (3*), Narva Rd 7c, 10 minutes walk from conference venue or easily accesssible via tram. Located a 5-minute walk away from the medieval old town. The price includes breakfast and free Wi-Fi. Well accessible from the Airport and Port of Tallinn. Book here.

  • Go Hotel Schnelli, (3*), Toompuiestee 37/1, 35 minutes walk to the conference venue or accessible in ~20 mins by public transport via Bus number 8, Stop Balti Jaam to Uus-Sadama. A budget-friendly hotel, located in the immediate vicinity of Tallinn's Old Town and the historic railway passenger terminal, Balti Jaam. Right next to the vibrant Kalamaja district and the Telliskivi area, known for its numerous popular restaurants and venues. A perfect location for evening hang-outs! Book here.

  • Hestia Hotel Barons, (4*), Suur-Karja 7, located in the Old Town, 25 minutes walk or a short tram ride to the conference venue. Book here.

  • Hestia Hotel Europa, (4*), Paadi St 5, 13 minute walk from the conference venue. Book here.

  • Hestia Hotel Seaport, (3*), Uus-Sadama St 23, 9 minute walk from the conference venue. Book here.

Getting there and local transport

Tallinn Airport offers direct flights to many European cities and is also well-connected to several regional hubs, with several daily flights to Helsiki, Warsaw, Stockholm and Frankfurt.

It is also possible to get to Tallinn by ferry from Helsiki (~2 hours, several daily connections), and by coach from Riga, Vilnius and other cities in the Baltic region.

Tallinn has an excellent and affordable local transport network.