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, written in English using the Easychair style: https://easychair.org/publications/for_authors

The deadline for submission is the 30th April 2024.

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

Abstracts submission

Corresponding Author
Other author(s)
Abstract