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 7th May 2024.

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