L’Associazione Italiana per la Logica e le sue Applicazioni (AILA) organizza ogni tre anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica. Nel 2024 l’incontro si svolgerà ad Udine.
Gli incontri saranno caratterizzati da interventi plenari tenuti da ricercatori internazionali, interventi invitati tenuti dai vincitori dei premi AILA e contributed talk. I contributi di ricercatori di qualsiasi nazionalità sono benvenuti.
Pagine web dell’Incontro di Logica
Interventi Plenari
Ivano Ciardelli (Università di Padova)
Thomas Ehrhard (Université Paris Cité)
Elvira Mayordomo (Universidad de Zaragoza and Iowa State University)
Francesco Gallinaro (Albert Ludwigs Universität Freiburg)
Mai Gehrke (Université Côte d’Azur, Nice)
Sandra Müller (Technische Universität Wien)
Vincitori premi AILA
Claudio Agostini (Technische Universität Wien), vincitore del Premio “Franco Montagna”
Martino Lupini (Università di Bologna), vincitore del Premio “Paolo Gentilini”
Alessandro Vignati (Université Paris Cité), vincitore del Premio “Paolo Gentilini”
Vincitore del Premio “Ada Lettieri” – da assegnare
Altri Interventi
La presentazione di abstract da parte di qualunque ricercatore nel mondo è benvenuta. Un elenco di argomenti nell’ambito della conferenza include:
- category theory,
- computability theory,
- model theory,
- logic and computer science,
- logic and philosophy,
- non-classical logics,
- proof theory,
- set theory.
Gli abstract devono essere lunghi al massimo 2 pagine, scritti in inglese usando lo stile Easychair: https://easychair.org/publications/for_authors
Gli abstract possono essere inviati attraverso il sito del convegno:
https://ailameeting24.uniud.it/abstract-submission
Il termine ultimo per la presentazione è il 30 aprile 2024. 7 maggio 2024
Le notifiche di accettazione saranno inviate prima del 15 giugno 2024.