Ogni anno l’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico precedente, il bando viene di solito pubblicato a fine anno con scadenza al 30 aprile di quello successivo.
Si prevedono:
- 1 premio per la migliore tesi magistrale,
- 1 premio per la migliore tesi triennale,
- fino a 6 borse di studio per la partecipazione alla Scuola Estiva di Logica organizzata da AILA e SILFS.
Vincitori dell’Edizione 2024
I vincitori del Premio AILA 3+2 per l’anno 2023/24 sono i seguenti.
Premio AILA 3+2 Laurea Magistrale: Valeria Giustarini “Free constructions in hoops”.
Premio AILA 3+2 Laurea Triennale: Luca Facchinetti “Aspetti e generalizzazioni del teorema di Ramsey”.
Borse di studio Scuola Estiva di Logica:
Miriam Marzaioli, Cesare Straffellini, Anna Laura Suarez e Riccardo Monego.
Relazione premio AILA 3+2 anno 2024
Bando Premio 3+2 2024
Vincitori dell’Edizione 2023
I vincitori del Premio AILA 3+2 per l’anno 2022/23 sono i seguenti.
Premio AILA 3+2 Laurea Magistrale: Ludovico Fusco “Mal’cev products in the general theory of semilattice sums of algebras”.
Premio AILA 3+2 Laurea Triennale: Francesco Manfucci “Algebre libere in logiche a valori reali”.
Borse di studio Scuola Estiva di Logica:
Mattia Furlan, Elena Pozzan, Stella Spadoni e Giuseppe Zecchini. Menzione: Orazio Nicolosi.
Relazione premio AILA 3+2 anno 2023
Vincitori dell’ Edizione 2022
Premio AILA 3+2 Laurea Magistrale: Beatrice Pitton, “Borel and Borel* sets in generalized descriptive set theory”.
Premio AILA 3+2 Laurea Triennale: Valeria Giustarini, “Un approccio algebrico al funtore di Mundici”.
Borse di studio Scuola Estiva di Logica:
Antonio Maria Cleani (magistrale), Enrico Giannico (magistrale), Maria Clara Ragosta (magistrale), Davide Carolillo (triennale).
Relazione premio AILA 3+2 2021/22
Vincitori dell’ Edizione 2021
Laurea Magistrale
| Matteo Cappucci | Damiano Fornasiere | Pietro Sabelli | Salvatore Scamperti |
|---|---|---|---|
| Internal mathematics for stochastic calculus: a tripos-theoretic approach | Representable Forests and Diamond Systems | Internalizzazione della teoria dei tipi | Graph homomorphism: decidability and complexity |
| 17 luglio 2020, Università di Padova | 16 aprile 2021, Università di Amsterdam | 10 dicembre 2020, Università di Padova | 5 giugno 2020, Università di Torino |
| relatore: Samuele Maschio | relatore: Nick Bezhanishvili correlatore: Tommaso Moraschini | relatore: Samuele Maschio | relatore: Luca Motto Ros |
Laurea Triennale
| Mattia Furlan | Ludovico Fusco | Andrea Laretto |
|---|---|---|
| Unificazione semantica in strutture booleane | Logiche di Galois generalizzate. Uno studio sui fondamenti della Gaggle Theory | Formalizations of the Church-Rosser Theorem in Agda |
| 2 Luglio 2020, Università di Trieste | 18 maggio 2020, Università di Pisa | 16 luglio 2020, Università di Torino |
| relatore: Eugenio Omodeo | relatore: Giacomo Turbanti | relatore: Ugo de’ Liguoro |
Bando del premio AILA 3+2 2021
Vincitori dell’ Edizione 2020
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 |
Vincitori dell’ Edizione 2019
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 |
Verbale redatto dalla commissione.
Vincitori dell’ Edizione 2018
Laurea Magistrale
| Vittorio BARD | David BAROZZINI | Vincenzo GIAMBRONE | Francesco MANGRAVITI |
|---|---|---|---|
| Countable Borel acts in computability theory | Beyond ω-regular languages: an investigation of asymptotic properties of infinite words | Boolean valued models for Set Theory and Grothendieck Topoi | The isomorphism relation of classifiable theories |
| 18 ottobre 2017, Università di Torino | 14 marzo 2018, Università di Udine | 19 dicembre 2017, Università di Torino | 21 luglio 2017, Università di Torino |
| relatore: Alessandro Andretta | relatore: Angelo Montanari | relatore: Matteo Viale | relatore: Luca Motto Ros |
Laurea Triennale
| Andrea CLINI | Nicola COTUMACCIO |
|---|---|
| La Congettura di Łoś | A categorical approach to regularity |
| 14 Luglio 2017, Università di Pisa | 18 Ottobre 2017, Università di Udine |
| relatore: Alessandro Berarducci | relatrice: Giovanna D’Agostino |
Verbale redatto dalla commissione.
bando dell’Edizione 2018.
Vincitori dell’ Edizione 2017
Laurea Magistrale
| Almudena COLACITO | Rosario MENNUNI | Nicolò VIO |
|---|---|---|
| Minimal and Subminimal Logic of Negation | Definable Groups, NIP Theories, and the Ellis Group Conjecture | Neologicismo. Uno studio critico |
| 26 agosto 2016, Master of Science in Logic, Università di Amsterdam | 13 maggio 2016, Università di Pisa | 15 dicembre 2016, Università di Firenze |
| relatore Dick de Jongh | relatore Alessandro Berarducci | relatore Andrea Cantini |
Laurea Triennale
| Sofia ERCOLANONI | Giulio FELLIN | Luca MATTAROLO | Salvatore SCAMPERTI |
|---|---|---|---|
| Reverse Mathematics, an application to Buchi’s Theorem | L’ipotesi del Continuo. L’approccio di Specker | Ehrenfeucht-Fraisseé Games: a characterization of some relational structures | Un’introduzione alla Teoria di Ramsey |
| 15 marzo 2017, Università di Udine | 6 ottobre 2016, Università di Verona | 19 ottobre 2016, Università di Udine | 28 marzo 2017 Università della Campania L. Vanvitelli |
| relatrice Giovanna D’Agostino | relatore Peter Schuster | relatore Angelo Montanari | relatrice Paola D’Aquino |
Verbale redatto dalla commissione
Vincitori dell’ Edizione 2016
Laurea Magistrale
Andrea VACCARO
- C*-algebras and B-names for complex numbers
- 16 ottobre 2015, Università di Pisa
- Relatore Matteo Viale, correlatore Mauro Di Nasso
Gianluca BASSO
- Quotients of Projective Fraisseé Limits
- 16 ottobre 2015, Università di Pisa
- Relatore Riccardo Camerlo
Andrea CETTOLO
- Topological Spaces in Subsystems of Second Order Arithmetic
- Università di Udine 9 dicembre 2015
- Relatore Alberto Marcone
Francesco PARENTE
- Boolean valued models, saturation, forcing axioms
- 17 luglio 2015, Università di Pisa
- Relatore Matteo Viale.
Laurea Triennale
David BAROZZINI
- On the decidability of MSO+U
- 14 ottobre 2015, Università di Udine
- Giovanna D’Agostino
Scarica il verbale redatto dalla commissione
Vincitori dell’ Edizione 2015
Alcune tra le tesi premiate sono disponibili alla pagina Tesi recenti di logica.
Filippo CALDERONI
- Hierarchy of Almost Free Groups
- Barcellona, 10 luglio 2014
- Relatore Joan Bagaria
Giulia FROSONI
- Conuclear images of substructural logics
- Siena, 24 ottobre 2014
- Relatore Franco Montagna.
Alberto MOLINARI
- Model Checking and Interval Temporal Logics: Checking Interval Properties of Computation
- Udine 20 marzo 2015
- Relatore Angelo Montanari.
Luca REGGIO
- Stone Duality above Dimension Zero
- Milano, 16 aprile 2015
- Relatore Vincenzo Marra
Scarica il verbale redatto dalla commissione
Vincitori dell’ Edizione 2014
Laurea Magistrale
Amar Hadzihasanovic
- Non standard functional interpretations and categorical models
- Università di Pavia, 24/09/2013
- Relatore: Ludovico Pernazza,
- correlatore: Benno van der Berg
Valeria Vignudelli
- The discriminating power of higher-order languages: a process algebraic approach
- Università di Bologna, 20/11/2013
- Relatrice: Giovanna Corsi,
- correlatore: Davide Sangiorgi
Sara Ugolini
- A categorical equivalence for product algebras
- Università di Siena, 20/12/2013
- Relatore: Franco Montagna
Laurea Triennale
Andrea Cettolo
- Autoimmersioni di ordini lineari e gradi di Turing
- Udine, 11/12/2013
- Relatore: Alberto Marcone
Scarica il verbale redatto dalla commissione
Vincitori dell’ Edizione 2013
Laurea Magistrale
Fabio Zanasi
- Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degree
- Amsterdam, 31/08/2012
- Relatore: Yde Venema,
- correlatore Alessandro Facchini
Rossella Marrano
- Verità e Riduzione Un case-study in filosofia formale
- Firenze, 11/10/2012
- Relatore: Andrea Cantini
Filippo Cavallari
- Determinatezza nell’aritmetica del secondo ordine
- Udine, 19/03/2013
- Relatore: Alberto Marcone
Luisa Peruzzi
- Relevant Semantics for Lambda- Calculus and Combinatory Logic
- Firenze, 06/03/2013
- Relatore: Pierluigi Minari
Laurea Triennale
Alessia Andò
- Giochi di parità una prospettiva logica
- Udine, 17/07/2012
- Relatrice: Giovanna D’Agostino.
Filippo Calderoni
- Teoria delle Categorie e Logica Categoriale
- Bologna, 13/07/2012
- Relatrice Rita Fioresi; correlatore Simone Martini.
Cesare Gallozzi
- Problemi fondazionali in teoria delle categorie
- Roma, 23/07/2012
- Relatrice Barbara Veit
Scarica il verbale redatto dalla commissione
Vincitori dell’ Edizione 2012
Laurea Magistrale/Specialistica
Giuseppe Perelli
- Bounded Model Properties for Strategy Logic Fragments
- Laurea in Matematica, Napoli, 27/10/2011,
- Relatore: Aniello Murano
Paolo Pistone
- Verso una sintassi trascendentale: ricerche sui fondamenti della logica attraverso la logica lineare e i suoi sviluppi
- Laurea in Filosofia, 18/07/2011, Roma Tre
- Relatore: V. Michele Abrusci
Laurea Triennale
Lorenzo Lami
- Periodicità nei giochi combinatori: il caso di un gioco non ottale
- Laurea in Matematica, Pisa, 30/09/2011
- Relatore: Alessandro Berarducci
Giuseppe Morana Roccasalvo
- Numerosità di sottoinsiemi di N^k
- Laurea in Matematica, Pisa, 24/02/2012
- Relatore: Marco Forti
Scarica il verbale redatto dalla commissione
Vincitori dell’ Edizione 2011
Laurea Specialistica
Danile Impieri
- Università di Udine, Laurea in Matematica, 07-03-2011 (consegna tesi)
- Relatore: Alberto Marcone
Laurea Triennale
Filippo Cavallari
- Assioma della scelta: equivalenti, conseguenze e coerenza relativa con ZF
- Università di Palermo, Laurea in Matematica 25-11-2010
- Relatore: Nicola Gambino
Michael Lodi
- Programmazione funzionale in spazio logaritmico: una libreria di funzioni aritmetiche.
- Università di Bologna, Laurea in Informatica, 20-10-2010
- Relatore: Ugo Dal Lago
Fabio Zanasi
- La definizione nell’ “ontologia” di S. Lesniewski- Uno studio sulle definizioni creative
- Università di Siena, Laurea in Filosofia, 07-07-2010
- Relatore: Duccio Pianigiani
Scarica il verbale redatto dalla commissione
Vincitori dell’ Edizione 2010
Ivano Ciardelli
- Inquisitive Semantics and Intermediate Logics
- Università di Amsterdam, 31 agosto 2009
- Relatori: Dick de Jongh, Jeroen Groenendijk e Floris Roelofsen
Martina Fedel
- Un approccio probabilistico alla rappresentazione dell’incertezza: probabilità imprecise, scommesse e funzionali normalizzati su spazi di Riesz.
- Università di Siena, 11 Settembre 2009
- Relatori: Franco Montagna e Hykel Hosni
Roberto Mana
- Astrazione, complessità e logiche sottostrutturali
- Università di Firenze, 10 luglio 2009
- Relatore: Andrea Cantini
Giorgio Venturi
- Forcing axioms and cardinality of the continuum
- Università di Torino, 17 luglio 2009
- Relatori: Matteo Viale e Boban Velickovic
Scarica il verbale redatto dalla commissione
Vincitori dell’ Edizione 2009
Fausto Barbero
- Independence-Friendly Logic
- Università di Torino, 24 luglio 2008
- Relatore: Gabriele Lolli
Maria Emilia Della Stella
- Associativity and commutativity in logic: the case of extended-order algebra
- Università di Lecce, 28 aprile 2009, laurea magistrale
- Relatore: Cosimo Guido
Umberto Grandi
- Logica Modale e Fondamenti di Teoria dei Giochi
- Università di Pisa, 26 settembre 2008, laurea magistrale
- Relatori: Alessandro Berarducci e Hykel Hosni
Lorenzo Luperi Baglini
- Un nuovo modo di contare l’infinito
- Università di Pisa, 26 settembre 2008, laurea magistrale
- Relatore: Mauro di Nasso
Caterina Rainone
- Classi di computazione P e NP
- Università di Napoli 2, 21 luglio 2009, laurea triennale
- Relatore: Paola D’Aquino
Domenico Ruoppolo
- Antifondazione per la teoria degli insiemi Zermelo-Fraenkel
- Università di napoli, 17 dicembre 2008, laurea triennale
- Relatore: Roberto Tortora
Scarica il verbale redatto dalla commissione
Vincitori dell’edizione 2008
Alessandra Cipriani,
- Traduzioni tra estensioni della Basic Logic
- 25 settembre 2007, Università di Padova
- Relatore: Giovanni Sambin
- Correlatrice: Giulia Battilotti
Martina Fedel
- Formalizzazioni del ragionamento nonmonotono: Relazioni di Conseguenza Preferenziali e Razionali
- 27 settembre 2007, Università di Pisa
- Relatori: Alessandro Berarducci, Hykel Hosni
Matteo Mio
- Induzione e Coinduzione nella logica LGw
- 4 Ottobre 2007, Università di Udine
- Relatore: Marino Miculan
Diego Valota
- Rappresentazioni tramite insiemi parzialmente ordinati di logiche polivalenti basate su t-nome continue a sinistra
- Presentata: 26 ottobre 2007, Milano
- Relatore: Stefano Aguzzoli
Scarica il verbale redatto dalla commissione