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__91851-2Premio “Paolo Gentilini”, Link identifier #identifier__170248-3Premio “Franco Montagna” e Link identifier #identifier__58186-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__145383-6Locandina
Link identifier #identifier__193164-7Programma
This post is also available in:
Link identifier #identifier__78526-5
Eng