Il verbale dell’Assemblea Straordinaria tenutasi a Caserta il 14 settembre è disponibile alla pagina dedicata ai verbali. La nuova versione dello Statuto dell’AILA, approvata durante l’assemblea, è disponibile alla pagina dello Statuto. È disponibile nella stessa pagina anche la relazione annuale sulle attività del 2021.
Vincitore del Premio AILA “Paolo Gentilini” 2022
La commissione del premio ha concluso i suoi lavori. Il vincitore è Luca San Mauro.
Vincitori del Premio AILA 3+2 anno 2021/22
I vincitori del Premio AILA 3+2 per l’anno 2021/22 sono i seguenti.
Beatrice Pitton, per la tesi di laurea magistrale dal titolo “Borel and Borel* sets in generalized descriptive set theory”.
e
Valeria Giustarini, per la tesi di laurea triennale dal titolo “Un approccio algebrico al funtore di Mundici”.
La commissione ha inoltre assegnato quattro borse di studio per la partecipazione alla Scuola Estiva di Logica.
Tre borse sono state assegnate per tesi di laurea magistrale : Antonio Maria Cleani, Enrico Giannico e Maria Clara Ragosta.
Una borsa di studio è stata assegnata per la tesi di laurea triennale a Davide Carolillo.
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.
Logic4Peace
L’AILA co-organizza la conferenza online Logic4Peace il cui scopo è offrire sostegno morale e finanziario ai colleghi in Ucraina in questo tempo di guerra.
L’ evento viene utilizzato per raccogliere aiuti finanziari per due cause specifiche:
Aiutare finanziariamente i colleghi delle università in Ucraina che hanno urgente bisogno finanziario a causa degli eventi bellici e sostenere il fondo di beneficenza “Voices of children” che fornisce aiuti umanitari e assiste in Ucraina nei processi di evacuazione in corso.
Poiché il mondo ha urgente bisogno di più logica e razionalità, Logic4Peace crea una piattaforma per i logici di tutto il mondo per presentare il loro lavoro in qualsiasi area della logica.
World Logic Day 14 gennaio 2022
Mancano pochi giorni al World Logic Day 2022. Per celebrare l’occasione l’AILA organizza un incontro-dibattito in streaming.
Ore 17.00 Le facce della logica a confronto
Melissa Antonelli, Ivano Ciardelli, Marcello D’Agostino, Brunella Gerla: quattro ricercatori specializzati in quattro campi diversi della Logica e provenienti da discipline diverse: matematica, informatica, filosofia.
Con loro dialogheranno gli allievi di quattro licei e istituti italiani per scoprire e capire quali sono le molte facce della logica. Le scuole coinvolte sono: Liceo Rescigno di Roccapiemonte (SA), Liceo “N. Cortese” di Maddaloni (CE), Liceo Scientifico Curiel di Padova, Liceo Benedetto Rosetti (AP).
https://www.youtube.com/watch?v=W1jw2pQqoIc
Ore 18.00 Le molte facce della logica – Tavola rotonda
Dopo il faccia a faccia tra studiosi di logica e filosofia della logica e gli studenti di alcuni licei italiani, una tavola rotonda approfondirà alcuni dei temi generali che emergeranno dal precedente incontro.
Interverranno il presidente dell’AILA Silvio Ghilardi e della SILFS Società Italiana di Logica Filosofia della Scienza Vincenzo Fano.
Vincitore premio AILA “Ada Lettieri” 2021
Il vincitore è Tommaso Moraschini per il lavoro intitolato “”Profiniteness and representability of spectra of Heyting algebras” , con G. Bezhanishvili, N. Bezhanishvili, M. Stronkowski. Advances in Mathematics 391 (2021).
World Logic Day 2022
L’AILA quest’anno celebra il World Logic Day dell’UNESCO con varie iniziative, controllate questa pagina per più informazioni.
Regolamento Finanziamento Convegni
L’AILA (Associazione Italiana di Logica e sue Applicazioni) rende disponibile annualmente un fondo dell’importo massimo di 1000 euro (mille/00) per supportare l’organizzazione di scuole e convegni di Logica che si svolgano nel periodo 01 Marzo 2022 – 28 Febbraio 2023.
E’ ammesso ad effettuare la richiesta chi risulti regolarmente iscritto all’AILA al 31 Dicembre 2021.
Gli interessati sono invitati a inviare entro il 31 Dicembre 2021 a Presidente e Segretario AILA (presidente@ailalogica.it, segretario@ailalogica.it) per posta elettronica la domanda di partecipazione con il proprio nome, cognome e recapito di posta elettronica, allegando
- un programma dell’evento;
- l’elenco dei membri della commissione scientifica e/o organizzativa;
- il dettaglio delle attività, incluso un elenco dei possibili invitati (speakers e non);
- un prospetto delle spese comprensivo di eventuali altri finanziamenti richiesti.
Il richiedente deve essere parte della commissione scientifica e/o organizzativa del convegno.
Il contributo verrà erogato preferibilmente per coprire attività volte a favorire la partecipazione di studenti e giovani ricercatori.
Le domande saranno esaminate da una commissione di 3 membri nominata dal Consiglio Direttivo AILA su proposta del Presidente dopo la fase di presentazione delle domande.
La Commissione concluderà i suoi lavori entro il 15 Febbraio 2022. La relazione conclusiva sarà pubblicata sul sito AILA.
Si ricorda che le presenti linee guida sono indicative e che l’approvazione finale dei progetti presentati è vincolata alle disponibilità annuali del budget dell’associazione.
Ulteriori informazioni possono essere richieste per posta elettronica al tesoriere AILA (tesoriere@ailalogica.it)
Bando Premio “Paolo Gentilini” 2022
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 2022 31 marzo 2022