Incontro AILA 2022

L’Associazione Italiana per la Logica e le sue Applicazioni (AILA) organizza ogni tre anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica. Nel 2022 l’incontro si svolgerà a Caserta.
Gli incontri saranno caratterizzati da interventi plenari tenuti da ricercatori internazionali, interventi invitati tenuti dai vincitori dei premi AILA e contributed talk. I contributi di ricercatori di qualsiasi nazionalità sono benvenuti.

Pagine web dell’Incontro di Logica

Interventi Plenari

Laura Crosilla, University of Oslo
Nicola Gambino, University of Manchester
Georg Gottlob, TU Wien
Joel David Hamkins, University of Notre Dame
Vincenzo Mantova, University of Leeds
Viorica Sofronie-Stokkermans, University of Koblenz-Landau

Vincitori premi AILA

Filippo Calderoni, Rutgers University – Premio Montagna 2019
Luca Reggio, Oxford University – Premio Lettieri 2019
Giorgio Laguzzi, University of Freiburg – Premio Gentilini 2019
Giulio Manzonetto, Université Sorbonne Paris Nord – Premio Gentilini 2020
Andrea Vaccaro, Université de Paris – Premio Montagna 2021
Tommaso Moraschini, University of Barcelona – Premio Lettieri 2021
Giorgio Venturi, Univesidade Estadual de Campinas – Premio Gentilini 2021
Luca San Mauro, Sapienza University of Rome – Premio Gentilini 2022

Altri Interventi

La presentazione di abstract da parte di qualunque ricercatore nel mondo è benvenuta. Un elenco di argomenti nell’ambito della conferenza include:

  • category theory,
  • computability theory,
  • model theory,
  • logic and computer science,
  • logic and philosophy, 
  • non-classical logics,
  • proof theory,
  • set theory.

Gli abstract devono essere lunghi al massimo 2 pagine, scritti in inglese usando lo stile Easychair: https://easychair.org/publications/for_authors
Gli abstract possono essere inviati attraverso il sito web Easychair: https://easychair.org/conferences/? Conf=aila20220

Il termine ultimo per la presentazione è il 30 aprile 2022.
Le notifiche di accettazione saranno inviate prima del 15 giugno 2022.

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.

Link alla registrazione

Partecipanti alla tavola rotonda:

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:

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:

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.

Comunicato per Tuna Altınel

(English text follows the Italian one)

Tuna Altınel, matematico turco, esperto di teoria dei modelli dei gruppi, professore presso l’università di Lyon 1, l’11 Maggio 2019, è stato arrestato in Turchia in occasione di un suo rientro in patria.Le autorità turche lo accusano di propaganda terrorista. Altınel fa parte degli “universitari per la pace” che a gennaio 2016 avevano firmato una petizione per far cessare i combattimenti in Kurdistan.L’AILA, Associazione Italiana di Logica e Applicazioni, condanna risolutamente questa azione.  L’AILA ritiene questo gesto un crimine politico e, esprimendo profonda solidarietà al Prof. Altınel, ne chiede l’immediata scarcerazione e rientro in Francia.


Tuna Altınel, Turkish mathematician, expert in model theory of groups, professor at the University of Lyon 1, was arrested in Turkey on May 11, 2019 on the occasion of his return home.The Turkish authorities accuse him of terrorist propaganda. Altınel is part of the “Academics for peace” that in January 2016 signed a petition to stop the war in Kurdistan.AILA, the Italian Association of Logic and Applications, resolutely condemns this action. AILA considers this a political crime and, expressing profound solidarity with Prof. Altınel, calls for his immediate release from prison and return to France.