XXVII Incontro di Logica

Caserta, 12-15 September 2022

More info

Caserta, 12-15 September 2022

The Incontro di Logica is organised by the Italian Association for Logic and its Applications (AILA) every three years. It features international invited speakers, recipients of the AILA prizes (Gentilini, Montagna, Lettieri), and contributed presentations in Logic.









See the Invited Speakers

Featured Speakers


AILA award recipients

  • Filippo Calderoni, University of Illinois at Chicago - Premio Montagna 2019
  • Luca Reggio, Oxford University - Premio Lettieri 2019 and Premio Gentilini per la Logica in Informatica
  • Giorgio Laguzzi, University of Freiburg - Premio Gentilini 2019
  • Giulio Manzonetto, Université Sorbonne Paris Nord - Premio Gentilini 2020
  • Tommaso Moraschini, University of Barcelona - Premio Lettieri 2021
  • Andrea Vaccaro, Université de Paris - Premio Montagna 2021
  • Giorgio Venturi, Univesidade Estadual de Campinas - Premio Gentilini 2021
  • To be awarded - Premio Gentilini 2022

See the Committees

Programme Committee

  • Agata Ciabattoni (Technische Universität Wien)
  • Marcello D’Agostino (Università di Milano)
  • Ugo Dal Lago (Università di Bologna)
  • Paola D’Aquino (Università della Campania)
  • Vincenzo Dimonte (Università di Udine)
  • Guido Gherardi (Università di Bologna)
  • Silvio Ghilardi (Univerità di Milano)
  • Sonia L’Innocente (Università di Camerino)
  • Luca Paolini (Università di Torino)
  • Luca Spada (Università di Salerno)
  • Lorenzo Tortora De Falco (Università di Roma 3)
  • Matteo Viale (Università di Torino)

Organising Committee

  • Paola D’Aquino (Università della Campania "L. Vanvitelli") - Chair
  • Anna De Mase (Università della Campania "L. Vanvitelli")
  • Luca Spada (Università di Salerno)
  • Giuseppina Terzo (Università di Napoli "Federico II")
  • Pierre Touchard (Università della Campania "L. Vanvitelli")

Go to the Call for Abstracts

Call for Abstracts

The Programme Committee of Incontro AILA welcomes submissions of abstracts from any researcher in the world. A list of topics in the scope of the conference includes:

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

The abstracts must be maximum 2-page long and written in English using the Easychair style. Abstracts can be submitted through the Easychair website

The deadline for submission is the 30th April 2022.

Notifications of acceptance will be sent before the 15th June 2022.

AILA


Associazione Italiana per la Logica e sue Applicazioni
Con il contributo di