Associazione Italiana di Logica e sue Applicazioni
Sono aperte le iscrizioni alla Scuola Estiva di Logica 2025. Quest’anno la scuola si terrà presso il campus dell’Università di Studi di Salerno.
Per maggiori informazioni visitare la pagina della scuola
Le iscrizioni chiuderanno il 10 maggio 2025 18 maggio 2025.
L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2023-2024, come precisato nel bando disponibile al link più in basso.
Si prevedono:
Le domande di partecipazione saranno accettate fino al 30 aprile 2025.
I vincitori del Premio AILA 3+2 per l’anno 2024 sono i seguenti.
Valeria Giustarini, per la tesi di laurea magistrale dal titolo “Free constructions in hoops”
e
Luca Facchinetti, per la tesi triennale dal titolo “Aspetti e generalizzazioni del teorema di Ramsey”.
Sono state assegnate 3 borse per tesi di laurea magistrale: Miriam Marzaioli, Cesare Straffellini, Anna Laura Suarez .
Inoltre, è stata assegnata 1 borsa per tesi di laurea triennale a: Riccardo Monego.
L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2023-2023, come precisato nel bando disponibile al link più in basso.
Si prevedono:
Le domande di partecipazione saranno accettate fino al 30 aprile 2024.
I vincitori del Premio AILA 3+2 per l’anno 2022/23 sono i seguenti.
Ludovico Fusco, per la tesi di laurea magistrale dal titolo “Mal’cev products in the general theory of semilattice sums of algebras”.
e
Francesco Manfucci, per la tesi di laurea triennale dal titolo “Algebre libere in logiche a valori reali”.
La commissione ha inoltre assegnato quattro borse di studio per la partecipazione alla Scuola Estiva di Logica.
Sono state assegnate 2 borse per tesi di laurea magistrale : Mattia Furlan e Elena Pozzan.
Sono inoltre state assegnate 2 borse per tesi di laurea triennale a: Stella Spadoni e Giuseppe Zecchini.
Infine la commissione ha riservato una menzione speciale al lavoro di Orazio Nicolosi.
L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2021-2022, come precisato nel bando disponibile al link più in basso.
Si prevedono:
Le domande di partecipazione saranno accettate fino al 30 aprile 2023.
I vincitori del Premio AILA 3+2 per l’anno 2021/22 sono i seguenti.
Beatrice Pitton, per la tesi di laurea magistrale dal titolo “Borel and Borel* sets in generalized descriptive set theory”.
e
Valeria Giustarini, per la tesi di laurea triennale dal titolo “Un approccio algebrico al funtore di Mundici”.
La commissione ha inoltre assegnato quattro borse di studio per la partecipazione alla Scuola Estiva di Logica.
Tre borse sono state assegnate per tesi di laurea magistrale : Antonio Maria Cleani, Enrico Giannico e Maria Clara Ragosta.
Una borsa di studio è stata assegnata per la tesi di laurea triennale a Davide Carolillo.
Sono aperte le candidature per il premio AILA 3+2 2022. Saranno premiate le migliori tesi di laurea triennale o magistrale su argomenti di Logica Matematica dell’anno accademico 2020-2021, come precisato nel bando scaricabile al link qui sotto.
Il concorso è aperto a tutti coloro che conseguono la laurea triennale o magistrale nel periodo dal 1 MAGGIO 2021 al 30 APRILE 2022 discutendo una tesi su argomenti di Logica Matematica. La scadenza per le candidature è il 30 APRILE 2022.
Sono aperte le candidature per il premio AILA 3+2 2021. Saranno premiate le migliori tesi di laurea triennale o magistrale su argomenti di Logica Matematica dell’anno accademico 2019-2020, come precisato nel bando scaricabile al link qui sotto. Si prevedono:
Il concorso è aperto a tutti coloro che conseguono la laurea triennale o magistrale nel periodo dal 1 MAGGIO 2020 al 30 APRILE 2021 discutendo una tesi su argomenti di Logica Matematica. La scadenza per le candidature è il 30 APRILE 2021.
I vincitori del Premio AILA 3+2 per l’anno 2019/20 sono:
| 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 |
| 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 |