Al seguente link è disponibile la relazione sulle attività dell’AILA nell’anno 2019.
La Logica in 90 secondi
Premio AILA per le scuole, prima edizione
La Logica è una delle più antiche forme di conoscenza. Essa è sempre stata e continua ad essere al tempo stesso uno strumento indispensabile in ogni ambito del pensiero ed oggetto di ricerca. Nella società contemporanea, ed in particolar modo nella tecnologia che ci circonda, questa disciplina ha un impatto sempre maggiore di cui non sempre siamo consapevoli.
Al fine di dare ai giovani e agli insegnanti l’opportunità di conoscere e approfondire il tema della Logica, l’AILA organizza un concorso video, chiedendo ai ragazzi di produrre dei brevi video sulla Logica.
I vincitori del premio sono i seguenti:
Alunni del IIIDSM del Liceo Scientifico “T.C. Onesti” (Fermo), coordinati dalla prof.ssa G. Guidone.
Approfondimento: https://it.wikipedia.org/wiki/Paradosso_del_mentitore
Alunni della classe terza del Liceo Matematico del Liceo Tito Lucrezio Caro (Roma), coordinati dalla prof.ssa Francesca Ruzzi.
Da questo link è possibile scaricare la relazione della commissione.
Tavola rotonda La logica: pensiero, scienza e società
In occasione del World Logic Day 2021, l’AILA organizza, insieme alla SILFS (Società Italiana di Logica e Filosofia delle Scienze), al capitolo italiano della EATCS e a UNINETTUNO, una tavola rotonda rivolta a tutti che si terrà il giorno 14 gennaio 2021 alle ore 15:00 in streaming sul sito di uninettuno.
Partecipanti alla tavola rotonda:
- Maurizio Gabbrielli (Università di Bologna)
- Gabriele Lolli (Scuola Normale Superiore di Pisa)
- Vincenzo Marra (Università di Milano)
- Luca Motto Ros (Università di Torino)
- Sara Negri (Università di Genova)
- Catuscia Palamidessi (INRIA Saclay)
- Simonetta Ronchi della Rocca (Università di Torino)
Moderatore: Daniele Gouthier
World Logic Day 2021
Il giorno 14 gennaio è stata proclamato dall’Unesco “World Logic Day“.
L’AILA ha celebrato il World Logic Day 2021 organizzando un concorso per studenti delle scuole superiori e una tavola rotonda in streaming.
Concorso per gli studenti La logica in 90 secondi
La Logica è una delle più antiche forme di conoscenza. Essa è sempre stata e continua ad essere al tempo stesso uno strumento indispensabile in ogni ambito del pensiero ed oggetto di ricerca. Nella società contemporanea, ed in particolar modo nella tecnologia che ci circonda, questa disciplina ha un impatto sempre maggiore di cui non sempre siamo consapevoli. Al fine di dare ai giovani e agli insegnanti l’opportunità di conoscere e approfondire il tema della Logica, l’AILA organizza un concorso video, chiedendo ai ragazzi di produrre dei brevi video sulla Logica.
Tavola rotonda La logica: pensiero, scienza e società
L’AILA ha organizzato, insieme alla SILFS (Società Italiana di Logica e Filosofia delle Scienze), al capitolo italiano della EATCS e a UNINETTUNO, una tavola rotonda rivolta a tutti trasmessa in diretta streaming il 14 gennaio 2021 alle ore 15:00.
Partecipanti alla tavola rotonda:
- Maurizio Gabbrielli (Università di Bologna)
- Gabriele Lolli (Scuola Normale Superiore di Pisa)
- Vincenzo Marra (Università di Milano)
- Luca Motto Ros (Università di Torino)
Massimo Mugnai (Scuola Normale Superiore di Pisa)- Sara Negri (Università di Genova)
- Catuscia Palamidessi (INRIA Saclay)
- Simonetta Ronchi della Rocca (Università di Torino)
Moderatore: Daniele Gouthier
Per altre informazioni sulle iniziative nel mondo per il World Logic Day si veda anche https://logicday.vcla.at
Con il patrocinio di:
Premio AILA-UMI “Franco Montagna” 2021
[English follows Italian]
L’AILA e l’UMI bandiscono congiuntamente un premio per la migliore tesi di dottorato in logica matematica e sue applicazioni, discussa nel triennio dal 1 gennaio 2018 al 31 dicembre 2020. Il premio è dedicato alla memoria di Franco Montagna. Maggiori dettagli nel bando scaricabile al seguente link:
AILA and UMI jointly award a prize for the best doctoral thesis in mathematical logic and its applications that has been defended in the three-year period from 1 January 2018 to 31 December 2020. The award is dedicated to the memory of Franco Montagna. More details in the announcement downloadable at the following link:
Bando Premio “Paolo Gentilini” 2021
L’AILA bandisce un premio di 3000 euro alla memoria di Paolo Gentilini. Ai sensi del Regolamento il Premio è destinato a un giovane che si sia distinto nell’attività di ricerca nella Logica Matematica, con particolare (ma non esclusivo) riferimento agli aspetti sintattici della Logica Matematica e applicazioni di questi alla Didattica della Matematica, all’Informatica ed all’Economia.
È ammesso a partecipare chi, alla data di scadenza del bando annuale di concorso, non ha ancora compiuto 40 anni.
La scadenza per le candidature è il 15 marzo 2021.
Giornata della FIMA
Venerdì 11 dicembre 2020, a partire dalle 10:00 si terrà in streaming la Giornata della FIMA (a cui l’AILA aderisce). Il tema dell’incontro è “Strumenti matematici per la protezione dell’ambiente, del territorio e dei beni culurali”. È possibile seguire l’evento seguendo questo link: https://www.uninettunouniversity.net/it/live-streaming.aspx .
Qui sotto è possibile scaricare la locandina dell’incontro.
Risultato delle votazioni dell’Assemblea del 21-22 settembre
l’Assemblea del 21 e 22 settembre, con la votazione sul rinnovo delle cariche sociali, si è conclusa. Hanno votato 101 soci (con diritto di voto) su 113 soci (con diritto di voto). Il risultato dello spoglio è il seguente:
Presidente:
Silvio Ghilardi 92
Consiglio Direttivo:
- Matteo Viale 48
- Paola D’Aquino 45
- Agata Ciabattoni 42
- Ugo Dal Lago 37
- Sonia L’Innocente 37
- Guido Gherardi 34
- Lorenzo Tortora de Falco 34
- Vincenzo Dimonte 32
- Luca Paolini 28
- Marcello D’Agostino 27
- Serafina Lapenta 23
- Cristina Coppola 20
- Vincenzo Marra 18
- Lorenzo Luperi Baglini 16
- Francesco Ciraulo 10
Risultano quindi eletti:
Presidente (triennio 2020-23): Silvio Ghilardi
Consiglio Direttivo (triennio 2020-23): Matteo Viale, Paola D’Aquino, Agata Ciabattoni, Ugo Dal Lago, Sonia L’Innocente, Guido Gherardi, Lorenzo Tortora de Falco, Vincenzo Dimonte, Luca Paolini, Marcello D’Agostino.
A questo link è possibile vedere il risultato dello spoglio.
Il verbale delle elezioni è disponibile al seguente link:
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 |
Rinnovo cariche sociali 2020
Il rinnovo delle cariche sociali dell’AILA quest’anno avverrà a distanza tramite votazione a scrutinio segreto sul sito https://heliosvoting.org .
In questa pagina verranno raccolte le candidature e verranno pubblicate le notizie riguardanti la votazione.
Le candidature sono presentabili fino alle 14:00 dell’11 settembre, tramite un’email a tutti i membri della commissione elettorale. Quest’ultima è composta da:
- Michele Abrusci,
- Luca Spada,
- Carlo Toffalori.
La prima votazione sarà aperta dalle 9:00 del 1 settembre alle 14:00 del 2 settembre, e avrà come oggetto l’approvazione del regolamento elettorale scaricabile qui sotto.
Nella seconda votazione, aperta dalle 9:00 del 21 settembre alle 14:00 del 22 settembre, si voterà per il Presidente e per i membri del Consiglio Direttivo.
La terza votazione si terrà solo se ci saranno più di due candidati alla presidenza. Sarà aperta dalle 9:00 del 24 settembre alle 14:00 del 25 settembre e riguarderà il ballottaggio tra i due candidati alla presidenza che abbiano conseguito più voti nella seconda votazione.
Elenco candidature alla Presidenza
Silvio Ghilardi – Università degli Studi di Milano – Pagina personale
Per la Presidenza dell’AILA nel prossimo triennio proponiamo il nome di Silvio Ghilardi. Si tratta di collega conosciuto e stimato a livello mondiale per le sue ricerche su un ampio spettro di argomenti della logica matematica con significative interazioni con l’informatica: dalle logiche modali alla logica algebrica, dal ragionamento automatico al “model checking”.
Da quasi 20 anni dirige con grande successo la Scuola Estiva di Logica di AILA e SILFS. Ha maturato grande esperienza amministrativa.
Siamo convinti che condurrà l’AILA nel modo migliore.
Messaggio firmato da: Michele Abrusci, Alessandro Andretta, Stefano Baratella, Alessandro Berarducci, Agata Ciabattoni, Paola D’Aquino, Milly Maietti, Alberto Marcone, Luca Motto Ros, Daniele Mundici, Giuseppe Rosolini, Andrea Sorbi, Carlo Toffalori, Matteo Viale
Elenco candidature al Consiglio Direttivo
Lorenzo Luperi Baglini – Università degli Studi di Milano – Pagina personale
Cristina Coppola – Università degli Studi di Salerno – Pagina personale
Vincenzo Marra – Università degli Studi di Milano – Pagina personale
Agata Ciabattoni – Technische Universität Wien – Pagina personale
Ugo Dal Lago – Università di Bologna – Pagina personale
Luca Paolini – Università di Torino – Pagina personale
Guido Gherardi – Università di Bologna – Pagina personale
Marcello D’Agostino – Università di Milano – Pagina personale
Lorenzo Tortora de Falco – Università Roma Tre – Pagina personale
Sonia L’Innocente – Università di Camerino – Pagina personale
Vincenzo Dimonte – Università di Udine – Pagina personale
Matteo Viale – Università di Torino – Pagina personale
Paola D’Aquino – Università della Campania – Pagina personale
Serafina Lapenta – Università di Salerno – Pagina personale
Francesco Ciraulo – Università di Padova – Pagina personale
In base all’articolo 18 dello Statuto i soci con diritto di voto sono tutti quelli in regola con il pagamento delle quote per l’anno in corso e quello precedente. Ciascun socio ha tempo fino a 5 giorni prima di ciascuna Assemblea per regolarizzare la sua posizione e poter votare nell’Assemblea. Questa pagina contiene le istruzioni per i pagamenti.
Segue la lista aggiornata dei soci con diritto di voto. Per ulteriori informazioni contattare il Segretario (segretario [at] ailalogica.it).
Elenco soci con diritto di voto (aggiornato al 17/9/20)
| Michele Abrusci |
| Matteo Acclavio |
| Luca Aceto |
| Alessandro Andretta |
| Stefano Baratella |
| Davide Barbarossa |
| Fausto Barbero |
| Gianluca Basso |
| Stefano Berardi |
| Alessandro Berarducci |
| Matteo Bianchi |
| Emanuele Bottazzi |
| Riccardo Bruni |
| Filippo Calderoni |
| Riccardo Camerlo |
| Andrea Cantini |
| Olivia Caramello |
| Felice Cardone |
| Raphael Carroy |
| Giovanni Casini |
| Filippo Cavallari |
| Agata Ciabattoni |
| Patrizio Cintioli |
| Francesco Ciraulo |
| Almudena Colacito |
| Cristina Coppola |
| Giovanna Corsi |
| Laura Crosilla |
| Gianluca Curzi |
| Ugo Dal Lago |
| Giovanna D’Agostino |
| Marcello D’Agostino |
| Paola D’Aquino |
| Maria Emilia Della Stella |
| Mariangiola Dezani Ciancaglini |
| Vincenzo Dimonte |
| Mauro Di Nasso |
| Antonio Di Nola |
| Giulio Fellin |
| Mauro Ferrari |
| Ruggero Ferro |
| Marta Fiori Carones |
| Tommaso Flaminio |
| Antongiulio Fornasiero |
| Miriam Franchella |
| Nicola Galesi |
| Nicola Gambino |
| Guido Gherardi |
| Silvio Ghilardi |
| Roberto Giuntini |
| Stefano Guerrini |
| Giulio Guerrieri |
| Gabriele Gullà |
| Hykel Hosni |
| Sonia L’innocente |
| Nunzia La Fauci Gentilini |
| Giorgio Laguzzi |
| Sara Lapenta |
| Giacomo Lenzi |
| Stefano Leonesi |
| Paolo Lipparini |
| Gabriele Lolli |
| Lorenzo Luperi Baglini |
| Paolo Maffezioli |
| Roberto Maieli |
| Milly Maietti |
| Marcello Mamino |
| Vincenzo Mantova |
| Annalisa Marcja |
| Alberto Marcone |
| Simone Martini |
| Vincenzo Marra |
| Samuele Maschio |
| Andrea Masini |
| Pierluigi Minari |
| Enrico Moriconi |
| Luca Motto Ros |
| Daniele Mundici |
| Sara Negri |
| Gianluca Paolini |
| Luca Paolini |
| Francesco Parente |
| Franco Parlamento |
| Matteo Pascucci |
| Marco Pedicini |
| Giuseppe Perelli |
| Mario Piazza |
| Paolo Pistone |
| Giuseppe Primiero |
| Gabriele Pulcini |
| Edoardo Rivello |
| Simona Ronchi Della Rocca |
| Luca Roversi |
| Donato Saeli |
| Luca San Mauro |
| Peter Schuster |
| Davide Sergio |
| Mario Servi |
| Tamara Servi |
| Andrea Sorbi |
| Luca Spada |
| Giuseppina Terzo |
| Carlo Toffalori |
| Lorenzo Tortora De Falco |
| Sara Ugolini |
| Andrea Vaccaro |
| Sara Vannucci |
| Diego Valota |
| Giorgio Venturi |
| Antonio Veredice |
| Matteo Viale |
| Daniel Wessel |
| Emanuele Zoccari |