The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.

Submission Instructions

Submissions should use IEEE Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. Formatting instructions, latex style files and further submission information is at https://lics.siglog.org/lics25/cfp.php.

LICS 2025 will use a lightweight double-blind reviewing process. Please see the website for further details and requirements from the double-blind process.

Committees

Program Committee

• Lars Birkedal, Aarhus University (co-chair)
• Barbara König, University of Duisburg-Essen (co-chair)
• Amal Ahmed, Northeastern University
• Thorsten Altenkirch, University of Nottingham
• Parosh Aziz Abdulla, Uppsala University
• Giorgio Bacci, Aalborg University
• Christel Baier, TU Dresden
• Stephanie Balzer, Carnegie Mellon University
• Mikołaj    Bojańczyk, University of Warsaw
• Filippo Bonchi, University of Pisa
• Patricia Bouyer, CNRS
• Luis Caires, Técnico Lisboa and INESC-ID
• Hubie Chen, King's College London
• Agata Ciabattoni, TU Wien
• Thomas Ehrhard, Université Paris Cité, CNRS, Inria, IRIF
• Diego Figueira, CNRS & LaBRI, Université Bordeaux
• Wan Fokkink, Vrije Universiteit Amsterdam
• Daniel Gratzer, Aarhus University
• Chris Heunen, The University of Edinburgh
• Guilhem Jaber, Nantes Université
• Patricia Johann, Appalachian State University
• Robbert Krebbers, Radboud University Nijmegen
• Stephan Kreutzer, TU Berlin
• James Laird, University of Bath
• Stefan Milius, FAU Erlangen-Nürnberg
• Alexandre Miquel, Universidad de la República (Montevideo)
• Rasmus Ejlers Møgelberg, IT University of Copenhagen
• Anders Mörtberg, Stockholm University
• Gopalan Nadathur, University of Minnesota
• Frank Pfenning, Carnegie Mellon University
• André Platzer, Karlsruhe Institute of Technology
• Jakob Rehof, TU Dortmund
• Ana Sokolova, University of Salzburg
• Kristina Sojakova, Inria
• Sam Staton, University of Oxford
• Nicolas Tabareau, Inria
• Joseph Tassarotti, New York University
• Takeshi Tsukada, Chiba University
• Nikos Tzevelekos, Queen Mary University of London

Conference Chair:

• Frank Stephan, National University of Singapore