L’incontro, organizzato con cadenza biennale, rappresenta un’importante occasione di confronto per la comunità scientifica attiva nello studio della logica e delle sue applicazioni in ambito matematico, informatico e filosofico.
Il programma prevede relazioni plenarie di studiosi di rilievo internazionale, interventi dei vincitori dei premi AILA – Link identifier #identifier__153416-2Premio “Paolo Gentilini”, Link identifier #identifier__142511-3Premio “Franco Montagna” e Link identifier #identifier__51389-4Premio “Ada Lettieri” – e comunicazioni scientifiche proposte dai partecipanti.
La partecipazione con contributi scientifici è aperta a ricercatrici e ricercatori di ogni nazionalità.
Temi scientifici
Tra i principali ambiti di interesse:
- teoria delle categorie;
- teoria della computabilità;
- teoria dei modelli;
- logica e informatica;
- logica e filosofia;
- logiche non classiche;
- teoria della dimostrazione;
- teoria degli insiemi.
Link identifier #identifier__37349-6Locandina
Link identifier #identifier__172269-7Programma