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.

Tavola rotonda La logica: pensiero, scienza e società

Banner Tavola rotonda

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.

Link alla registrazione

Partecipanti alla tavola rotonda:

Moderatore: Daniele Gouthier

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 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