Associazione Italiana di Logica e sue Applicazioni
L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2023-2023, come precisato nel bando disponibile al link più in basso.
Si prevedono:
Le domande di partecipazione saranno accettate fino al 30 aprile 2024.
L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2021-2022, come precisato nel bando disponibile al link più in basso.
Si prevedono:
Le domande di partecipazione saranno accettate fino al 30 aprile 2023.
Al fine di gestire con più efficenza e trasparenza i contributi che l’AILA offre per l’organizzazione di eventi su temi di Logica, per le iniziative che si svolgeranno dal 1 Aprile 2023 al 31 Marzo 2024 le richieste di supporto andranno presentate entro il 28 Febbraio 2023 secondo le modalità descritte nel bando allegato.
[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 2020 al 31 dicembre 2022. 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 2020 to 31 December 2022. The award is dedicated to the memory of Franco Montagna. More details in the announcement downloadable at the following link:
L’AILA, con il patrocinio della SILFS, celebra il World Logic Day 2023 coordinando delle attività divulgative in tutta Italia. Le attività si terranno in varie università sul territorio italiano.
Attenzione: poiché il 14 gennaio 2023 è sabato, le attività si svolgeranno il 13 gennaio 2023.
Qui sotto i dettagli delle attività organizzare dalle sedi che partecipano all’iniziativa.
Le attività si svolgeranno nella mattinata e nel pomeriggio del 13 gennaio.
Le attività del mattino si svolgeranno presso le aule didattiche Ercolani, Dipartimento Informatica, Scienza e Ingegneria dell’Università di Bologna – via Mura Anteo Zamboni 2B.
Le attività del mattino saranno dedicate a studenti del liceo scientifico. Verranno proposti alcuni semplici ragionamenti e, attraverso il formalismo matematico della deduzione naturale, saranno dimostrati o confutati rigorosamente.
Le attività del pomeriggio (ore 14.30) si svolgeranno presso l’Aula G1 dell’Edificio di Geologia, Via Zamboni 67.
Le attività attività del pomeriggio saranno dedicate a universitari. Il dott. Martino Lupini
terrà un seminario dal titolo Definibilità e invarianti: nuove applicazioni di logica in algebra, topologia, e analisi. Nel seminario si presenterà una panoramica di applicazioni di logica in matematica, concentrandosi su un ambito recentemente sviluppato in collaborazione con Bergfalk e Panagiotopoulos, nel quale tecniche sviluppate nel contesto dello studio di nozioni di “definibilità” in logica matematica vengono applicate allo studio di invarianti algebrici in algebra omologica, topologia, e analisi funzionale.
Per ulteriori informazioni contattare Riccardo Treglia, riccardo.treglia (chiocciola) unibo (punto) it
L’evento si svolgerà durante tutta la giornata del 13 gennaio presso l’Aula Motzo del Dipartimento di Filosofia dell’Università di Cagliari.
Maggiori informazioni sulla pagina web dell’evento
Programma dell’evento
Per ulteriori informazioni contattare Giuseppe Sergioli al seguente indirizzo: giuseppe.sergioli (chiocciola) gmail (punto) com
Le attività, di tipo laboratoriale, si svolgeranno nel pomeriggio del 13 gennaio presso il Dipartimento di Matematica “Tullio Levi-Civita” in Via Trieste, 63. Le attività saranno rivolte agli studenti delle classi del triennio della scuola secondaria di secondo grado. Durante l’incontro si parlerà fallacie logiche, errori di ragionamento e della logica nella vita di tutti i giorni.
Per ulteriori informazioni scrivere al seguente indirizzo: wld2023 (chiocciola) math.unipd.it
L’incontro avrà luogo di mattina presso il Dipartimento di Matematica e Informatica, via Archirafi 34, Palermo.
Durante l’incontro si parlerà di logica, didattica, informatica, social network e probabilità.
Maggiori informazioni sulla pagina web dell’incontro
Per ulteriori informazioni contattare Giuseppe Metere al seguente indirizzo: giuseppe.metere (chiocciola) unipa (punto) it
L’evento si svolgerà durante tutta la giornata del 13 gennaio presso l’Università Roma Tre.
Programma dell’evento
Per ulteriori informazioni contattare Paolo Pistone al seguente indirizzo: paolo.pistone (chiocciola) uniroma3 (punto) it
Le attività di svolgeranno nella mattinata del 13 gennaio presso l’aula P5 del Dipartimento di Matematica dell’Università di Salerno (Edificio F3). I laboratori saranno rivolti agli studenti del triennio della scuola secondaria superiore. Durante l’incontro si parlerà di connettivi e quantificatori e della logica epistemica.
Maggiori informazioni sulla pagina web dell’incontro.
Per ulteriori informazioni contattare Serafina Lapenta al seguente indirizzo: slapenta (chiocciola) unisa (punto) it
Le attività si svolgeranno nella mattinata del 13 gennaio presso il Dipartimento di Scienze della Comunicazione dell’Università degli Studi di Teramo e saranno dedicate agli studenti iscritti al quarto e al quinto anno della scuola secondaria superiore. La giornata prevedrà 3 attività finalizzate a sensibilizzare gli studenti circa l’importanza del rigore scientifico e, più in generale, argomentativo. L’evento è organizzato dal Prof. Raffaele Mascella e dal Dott. Davide Fazio in collaborazione con i Proff. Eramo, Pelusi e Tallini (UNITE).
Programma della giornata.
Per ulteriori informazioni contattare Davide Fazio al seguente indirizzo: dfazio2 (chiocciola) unite (punto) it
Verso l’infinito e oltre…
Le attività si svolgeranno nella mattinata del 13 gennaio (dalle 9 alle 12) presso il Dipartimento di Matematica “G. Peano”, Università degli Studi di Torino e saranno dedicate a studenti della scuola secondaria superiore. Le attività prevedono una mini-conferenza iniziale e dei laboratori.
Maggiori informazioni sulla pagina web dell’incontro.
Per ulteriori informazioni contattare Luca Motto Ros al seguente indirizzo: luca.mottoros (chiocciola) unito (punto) it
L’Infinito
L’incontro avrà luogo di mattina presso il Polo Scientifico Rizzi, Università degli Studi di Udine.
Per ulteriori informazioni contattare Vincenzo Dimonte al seguente indirizzo: vincenzo.dimonte (chiocciola) uniud (punto) it
Segnaliamo inoltre alcuni laboratori di logica e un evento pubblico a cura di Silvia Pittarello.
Giovedì 12 gennaio
Ore 09.15 – 11.00 e ore 11.20 – 13.00
IPSEOA Pietro d’Abano.
Ore 14.00-15.30
Liceo Statale “Celio – Roccati” Rovigo
Venerdì 13 gennaio
Ore 11.20 – 13.00
IPSEOA Pietro d’Abano
Venerdì 13 gennaio ore 18.00
Come ragioneremmo oggi se Aristotele fosse stato una “lei”.
Sala Anziani, Palazzo Moroni, Padova.
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
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
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
La presentazione di abstract da parte di qualunque ricercatore nel mondo è benvenuta. Un elenco di argomenti nell’ambito della conferenza include:
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.
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.
Mancano pochi giorni al World Logic Day 2022. Per celebrare l’occasione l’AILA organizza un incontro-dibattito in streaming.
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
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.
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).
L’AILA quest’anno celebra il World Logic Day dell’UNESCO con varie iniziative, controllate questa pagina per più informazioni.