Vincitori Premio AILA 3+2 anno 2019/20

I vincitori del Premio AILA 3+2 per l’anno 2019/20 sono:

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.

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

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.

Bando Premio “Paolo Gentilini” 2020

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  10 marzo 2020.

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.

Vincitore Premio Lettieri 2019

La commissione del premio “Ada Lettieri” ha concluso i suoi lavori.

Il vincitore è Luca Reggio per il lavoro intitolato ”Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)”, con V. Marra. Advances in Mathematics 307 (2017).

La commissione ha segnalato inoltre i lavori di

  • Filippo Calderoni: The bi-embeddability relation for countable abelian groups, con S. Thomas. Trans. Amer. Math. Soc., 371 (2019).
  • Vincenzo Mantova: Surreal numbers, derivations and transseries. con A. Berarducci. Journal of the European Mathematical Society, 20 (2018).
  • Martino Lupini: Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory. con M. Di Nasso e I. Goldbring. Springer, Lecture Notes in Mathematics book series vol. 2239 (2019).

La relazione della commissione è disponibile al seguente link.