La commissione del premio “Franco Montagna” ha concluso i suoi lavori.
Il vincitore è Filippo Calderoni.
La commissione ha segnalato in aggiunta la tesi di Alessandro Vignati
La relazione della commissione è disponibile al seguente link.
Vincitori Premio AILA 3+2 anno 2018/19
I vincitori del Premio AILA 3+2 per l’anno 2018/19 sono:
Laurea Magistrale
| Claudio AGOSTINI | Giulio FELLIN | Martina LICCARDO | Pietro MAUGERI | Gian Carlo MILANESE |
|---|---|---|---|---|
| On cardinal characteristics of partial orders and p = t | The Jacopbson Radical: from Algebra to Logic | Un esempio di teoria NIP: la teoria dei gruppi abeliani ordinati | The decision problem for small fragments of set theory | An Exploration of Closure Ordinals in the Modal μ-calculus |
| 24 ottobre 2018, Università di Milano | 20 luglio 2018, Università di Verona | 17 luglio 2018, Università di Napoli, Federico II | 28 settembre 2018, Università di Catania | 31 ottobre 2018, Università di Amsterdam |
| relatore: Vincenzo Marra, correlatore: Prof. Klaas Pieter Hart | relatore: Peter Schuster | relatore: Paola D’Aquino | relatore: Domenico Cantone | relatore: Yde Venema |
Laurea Triennale
| Morena PORZIO |
|---|
| The ranks of Ext1(A, Z) and Whitehead’s Problem |
| 21 settembre 2018, Università di Pisa |
| relatore: Matteo Viale, correlatore Prof. Giovanni Gaiffi |
Premio Speciale “Paolo Gentilini” per la Logica Matematica e le sue applicazioni all’Informatica
Nell’anno 2019/20 l’AILA ha bandito un premio di 2500 euro per una tesi di dottorato su argomenti inerenti la Logica Matematica e le sue applicazioni all’Informatica. Il Premio è intitolato alla memoria di Paolo Gentilini e intende ricordare il suo interesse appassionato al rapporto tra Logica Matematica e Informatica.
Il bando è disponibile al seguente link.
La commissione del premio ha concluso i suoi lavori il 13 giugno 2020. Il vincitore è Luca Reggio. La relazione della commissione è disponibile al seguente link.
Premio AILA 3+2 2019
Sono aperte le candidature per il premio AILA 3+2 2019. Saranno premiate le migliori tesi di laurea triennale o magistrale su argomenti di Logica Matematica dell’anno accademico 2017-2018, come precisato nel bando scaricabile al link qui sotto. Si prevedono:
- fino a 3 premi per tesi di laurea triennale,
- fino a 3 premi per tesi di laurea magistrale.
Il concorso è aperto a tutti coloro che conseguono la laurea triennale o magistrale nel periodo dal 1 MAGGIO 2018 al 30 APRILE 2019 discutendo una tesi su argomenti di Logica Matematica. La scadenza per le candidature è il 30 APRILE 2019.