Premio AILA Tesi di Laurea 3+2

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.

Bando Edizione 2024

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

Bando Premio 3+2 anno 2022

Vincitori dell’ Edizione 2021

Laurea Magistrale

Matteo CappucciDamiano FornasierePietro SabelliSalvatore Scamperti
Internal mathematics for stochastic calculus: a tripos-theoretic approachRepresentable Forests and Diamond SystemsInternalizzazione della teoria dei tipiGraph homomorphism: decidability and complexity
17 luglio 2020, Università di Padova 16 aprile 2021, Università di Amsterdam 10 dicembre 2020, Università di Padova5 giugno 2020, Università di Torino
relatore: Samuele Maschiorelatore: Nick Bezhanishvili correlatore: Tommaso Moraschini relatore: Samuele Maschiorelatore: Luca Motto Ros

Laurea Triennale

Mattia Furlan Ludovico Fusco Andrea Laretto
Unificazione semantica in strutture booleaneLogiche di Galois generalizzate. Uno studio sui fondamenti della Gaggle TheoryFormalizations of the Church-Rosser Theorem in Agda
2 Luglio 2020, Università di Trieste18 maggio 2020, Università di Pisa16 luglio 2020, Università di Torino
relatore: Eugenio Omodeorelatore: Giacomo Turbantirelatore: Ugo de’ Liguoro

Bando del premio AILA 3+2 2021

Vincitori dell’ Edizione 2020

Laurea Magistrale

Greta CORAGLIAMoreno PIEROBONDavide Emilio QUADRELLARO
A categorical perspective on Heyting-valued setsSaturated structures constructed using forcing and applicationsLattices 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 Rosolinirelatore: Matteo Viale relatore: Nick Bezhanishvili
correlatore: Gianluca Grilletti

Laurea Triennale

Damiano FORNASIERE Simone RAMELLO
Embedding concrete spaces into positive topologiesThrough the Λ glass: the topological path to non-standard analysis
4 Luglio
2019, Università di Padova
19 luglio 2019, Università di Torino
relatore: Giovanni Sambinrelatore: Alessandro Andretta

Bando premio AILA 3+2 2020.

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

Bando premio AILA 3+2 2019.

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

Edizioni precedenti