Il Consiglio Direttivo dell’AILA si è riunito il 17 novembre. Il verbale è disponibile al seguente link.
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.
Verbale della prima riunione del Consiglio
Il Consiglio Direttivo dell’AILA eletto il 21 settembre 2020 si è riunito il 30 settembre. Il verbale è disponibile al seguente link.
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 |
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.
Vincitore del Premio AILA “Paolo Gentilini” per la Logica Matematica e le sue applicazioni all’Informatica
La commissione del premio ha concluso i suoi lavori. Il vincitore è Luca Reggio. La relazione della commissione è disponibile al seguente link.
Vincitore del Premio AILA “Paolo Gentilini” 2020
La commissione del premio “Paolo Gentilini” ha concluso i suoi lavori.
Il vincitore è Giulio Manzonetto.
La relazione della commissione è disponibile al seguente link.
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.