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 link now available at the call for papers.
| 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 |
Submission-time rights statement information at [Plan S] for cOAlition S participants.
Invited speakers:
- Nada Amin (Harvard)
- Stephanie Delaune (CNRS)
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.