Belem tower
Praça do Comércio (Photo by Pelayo Arbués on Unsplash).

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2026 will be hosted in Lisbon, Portugal during 20–23 July 2026, as part of FLOC 2026.

Submission-time rights statement information at [Plan S] for cOAlition S participants.

Programme Chairs Claudia Faggian and Joost-Pieter Katoen
Local Organizer Bernardo Toninho
Titles and abstracts Due 15 January 2026
Full Papers Due 22 January 2026
Author response 26–29 March 2026
Notification 16 April 2026
Conference 20 – 23 July 2026

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.