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.
Vincitore Premio AILA/UMI “Franco Montagna”
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 |