La relazione sulle attività dell’AILA nel 2023 è scaricabile in basso.
Relazione sulle attività dell’AILA nel 2022
La relazione sulle attività dell’AILA nel 2022 è scaricabile al seguente link.
Vincitore del Premio AILA “Paolo Gentilini” 2022
La commissione del premio ha concluso i suoi lavori. Il vincitore è Luca San Mauro.
Vincitore premio AILA “Ada Lettieri” 2021
Il vincitore è Tommaso Moraschini per il lavoro intitolato “”Profiniteness and representability of spectra of Heyting algebras” , con G. Bezhanishvili, N. Bezhanishvili, M. Stronkowski. Advances in Mathematics 391 (2021).
Vincitore Premio AILA/UMI “Franco Montagna” 2021
La commissione del premio “Franco Montagna” ha concluso i lavori.
Il vincitore è Andrea Vaccaro.
La relazione della commissione può essere scaricata al seguente link:
Relazione sulle attività del 2020
Al seguente link è disponibile la relazione sulle attività dell’AILA nell’anno 2019.
Vincitori Premio AILA 3+2 anno 2019/20
I vincitori del Premio AILA 3+2 per l’anno 2019/20 sono:
Laurea Magistrale
| Greta CORAGLIA | Moreno PIEROBON | Davide Emilio QUADRELLARO |
|---|---|---|
| A categorical perspective on Heyting-valued sets | Saturated structures constructed using forcing and applications | Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic |
| 22 luglio 2019, Università di Milano | 17 luglio 2019, Università di Torino | 13 settembre 2019, Università di Amsterdam |
| relatore: Silvio Ghilardi, correlatore: Pino Rosolini | relatore: Matteo Viale | relatore: Nick Bezhanishvili correlatore: Gianluca Grilletti |
Laurea Triennale
| Damiano FORNASIERE | Simone RAMELLO |
|---|---|
| Embedding concrete spaces into positive topologies | Through the Λ glass: the topological path to non-standard analysis |
| 4 Luglio 2019, Università di Padova | 19 luglio 2019, Università di Torino |
| relatore: Giovanni Sambin | relatore: Alessandro Andretta |
Vincitore del Premio AILA “Paolo Gentilini” per la Logica Matematica e le sue applicazioni all’Informatica
La commissione del premio ha concluso i suoi lavori. Il vincitore è Luca Reggio. La relazione della commissione è disponibile al seguente link.
Vincitore del Premio AILA “Paolo Gentilini” 2020
La commissione del premio “Paolo Gentilini” ha concluso i suoi lavori.
Il vincitore è Giulio Manzonetto.
La relazione della commissione è disponibile al seguente link.
Relazione sulle attività del 2019
Al seguente link è disponibile la relazione sulle attività dell’AILA nell’anno 2019.