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__4320-2Premio “Paolo Gentilini”, Link identifier #identifier__73530-3Premio “Franco Montagna” e Link identifier #identifier__68103-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__36595-6Locandina
Link identifier #identifier__59226-7Programma