XXIX Incontro di Logica AILA 2026

Roma, 14-18 settembre 2026

Image by Bert Kaufmann from Roermond, Netherlands, CC BY-SA 2.0, via Wikimedia Commons

The Italian Association for Logic and its Application (AILA) organises every two years a meeting that gathers most of the Italian researchers studying mathematical, philosophical or computer science related aspects of logic. In 2026 the “Incontro di Logica” will take place in Rome (Italy). The meetings will feature plenary talks form leading international researchers, invited talks from the recipients of the AILA awards ("Paolo Gentilini" award, "Franco Montagna" award, "Ada Lettieri" award), and contributed talks. Contributions from researchers of any nationality are welcome.

Topics

Topics of interest include, but are not limited to:

  • category theory
  • computability theory
  • model theory
  • logic and computer science
  • logic and philosophy
  • non-classical logics
  • proof theory
  • set theory

Submission

Abstracts of contributed talks of 2-4 pages are to be prepared using the EasyChair class style and submitted via EasyChair at the following URL: https://easychair.org/conferences/?conf=aila2026

Important Dates

All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
  • Paper submission: 30 April 2026
  • Notification: 15 June 2026
  • Final version: TBA
  • Conference: 14-18 settembre 2026

Invited speakers

Program Committee

 

Organising Committee