Sono aperte le iscrizioni alla scuola estiva di logica organizzata dall’AILA in collaborazione con la SILFS. Le iscrizioni chiuderanno il 31 maggio 2024.
Per iscriversi visitare il sito della scuola estiva.
Scuola Estiva di Logica 2024
Premio AILA 3+2 (a.a. 2021/22)
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:
- 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.
Le domande di partecipazione saranno accettate fino al 30 aprile 2023.
Premio AILA 3+2 2022
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.
Premio AILA 3+2 2021
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:
- fino a 3 premi per tesi di laurea triennale,
- fino a 3 premi per tesi di laurea magistrale.
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.
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 |
Premio AILA 3+2 2020 – aggiornamento
Nonostante la cancellazione della Scuola Estiva di Logica il premio AILA 3+2 2020 verrà comunque assegnato e consisterà nel rimborso spese per la partecipazione alla Scuola Estiva di Logica del 2021 o in un premio alternativo di pari valore. La commissione sta lavorando alla selezione delle migliori tesi e i risultati saranno pubblicati sul sito AILA entro il 15 luglio 2020.
Cancellata la Scuola di Logica 2020
Dopo aver raccolto le informazioni necessarie e consultato il consiglio direttivo, è stato deciso di annullare l’edizione 2020 della scuola di logica. Le condizioni oggettive non consentono di tenere la scuola nel consueto clima di interscambio e di familiarità e – nel migliore dei casi – avrebbero costretto a ridurre drammaticamente e dolorosamente il numero dei partecipanti.
Palazzo Feltrinelli è stato già prenotato per l’agosto 2021, quindi la scuola proseguirà nei prossimi anni, sperando che l’emergenza sanitaria sia completamente risolta.
Premio AILA 3+2 2020
Sono aperte le candidature per il premio AILA 3+2 2020. Saranno premiate le migliori tesi di laurea triennale o magistrale su argomenti di Logica Matematica dell’anno accademico 2018-2019, come precisato nel bando scaricabile al link qui sotto. Si prevedono:
- fino a 3 premi per tesi di laurea triennale,
- fino a 3 premi per tesi di laurea magistrale.
Il concorso è aperto a tutti coloro che conseguono la laurea triennale o magistrale nel periodo dal 1 MAGGIO 2019 al 30 APRILE 2020 discutendo una tesi su argomenti di Logica Matematica. La scadenza per le candidature è il 30 APRILE 2020.
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 |
Premio AILA 3+2 2019
Sono aperte le candidature per il premio AILA 3+2 2019. Saranno premiate le migliori tesi di laurea triennale o magistrale su argomenti di Logica Matematica dell’anno accademico 2017-2018, come precisato nel bando scaricabile al link qui sotto. Si prevedono:
- fino a 3 premi per tesi di laurea triennale,
- fino a 3 premi per tesi di laurea magistrale.
Il concorso è aperto a tutti coloro che conseguono la laurea triennale o magistrale nel periodo dal 1 MAGGIO 2018 al 30 APRILE 2019 discutendo una tesi su argomenti di Logica Matematica. La scadenza per le candidature è il 30 APRILE 2019.