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.
Vincitore Premio Lettieri 2019
La commissione del premio “Ada Lettieri” ha concluso i suoi lavori.
Il vincitore è Luca Reggio per il lavoro intitolato ”Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)”, con V. Marra. Advances in Mathematics 307 (2017).
La commissione ha segnalato inoltre i lavori di
- Filippo Calderoni: The bi-embeddability relation for countable abelian groups, con S. Thomas. Trans. Amer. Math. Soc., 371 (2019).
- Vincenzo Mantova: Surreal numbers, derivations and transseries. con A. Berarducci. Journal of the European Mathematical Society, 20 (2018).
- Martino Lupini: Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory. con M. Di Nasso e I. Goldbring. Springer, Lecture Notes in Mathematics book series vol. 2239 (2019).
La relazione della commissione è disponibile al seguente link.