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 of interest include, but are not limited to:
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
Image from Dipartimento di Architettura
Registrations are now closed.
The conference social dinner will be held on September 16th 8pm at Ristorante Consolini, Via Marmorata 28, 00153 Rome.
The cost is €60 per person, to be paid directly at the venue.
Please fill in this form to confirm your attendance. If you do not plan to join the dinner, please indicate this in the form too.