La commissione del premio ha concluso i suoi lavori.
La vincitrice è Marta Fiori Carones per il lavoro intitolato “An inside/outside Ramsey theorem and recursion theory”, di cui Fiori Carones è coautore con Paul Shafer e Giovanni Soldà.
La commissione del premio ha concluso i suoi lavori.
La vincitrice è Marta Fiori Carones per il lavoro intitolato “An inside/outside Ramsey theorem and recursion theory”, di cui Fiori Carones è coautore con Paul Shafer e Giovanni Soldà.
Sono aperte le iscrizioni alla scuola estiva di logica organizzata dall’AILA in collaborazione con la SILFS. Le iscrizioni chiuderanno il 31 maggio 2024.
Per iscriversi visitare il sito della scuola estiva.
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 2024 l’incontro si svolgerà ad Udine.
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
Ivano Ciardelli (Università di Padova)
Thomas Ehrhard (Université Paris Cité)
Elvira Mayordomo (Universidad de Zaragoza and Iowa State University)
Francesco Gallinaro (Albert Ludwigs Universität Freiburg)
Mai Gehrke (Université Côte d’Azur, Nice)
Sandra Müller (Technische Universität Wien)
Claudio Agostini (Technische Universität Wien), vincitore del Premio “Franco Montagna”
Martino Lupini (Università di Bologna), vincitore del Premio “Paolo Gentilini”
Alessandro Vignati (Université Paris Cité), vincitore del Premio “Paolo Gentilini”
Vincitore del Premio “Ada Lettieri” – da assegnare
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 del convegno:
https://ailameeting24.uniud.it/abstract-submission
Il termine ultimo per la presentazione è il 30 aprile 2024. 7 maggio 2024
Le notifiche di accettazione saranno inviate prima del 15 giugno 2024.
La commissione del premio ha concluso i suoi lavori.
I vincitori sono Martino Lupini e Alessandro Vignati.
La Commissione ha inoltre assegnato una menzione speciale a Sara Ugolini.
La relazione sulle attività dell’AILA nel 2023 è scaricabile in basso.
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, con il patrocinio della SILFS, celebra il World Logic Day 2024 coordinando delle attività divulgative in tutta Italia. Le attività si terranno in varie università sul territorio italiano e in streaming sul canale YouTube dell’associazione.
Seguono i dettagli dell’evento in streaming.
La logica nel quotidiano – intelligenza e pensiero critico – modera Silvia Pittarello
Quando: Giorno 15 gennaio – Ore 16:00
Dove: al link https://youtube.com/live/OtE6I4elTWc
Attenzione: poiché il 14 gennaio 2024 è domenica, le attività si svolgeranno tra il 12 e il 16 gennaio 2024.
Qui sotto i dettagli delle attività organizzare dalle sedi che partecipano all’iniziativa.
È disponibile il bando 2023 del premio AILA “Ada Lettieri”, per un articolo o libro su argomenti inerenti la Logica e le sue applicazioni con particolare (ma non esclusivo) riferimento ai temi di maggiore interesse per Ada: logiche a più valori e logiche non classiche.
Il premio intende valorizzare le emergenti eccellenze italiane nella ricerca logica e in particolare i lavori di giovani ricercatrici o ricercatori.
Le domande possono essere inviate entro il 31 dicembre 2023 seguendo le istruzioni nel bando disponibile al seguente link:
L’AILA (Associazione Italiana di Logica e sue Applicazioni) rende disponibile annualmente un fondo per supportare l’organizzazione di scuole e convegni di Logica che si svolgano in Italia nel periodo 01 Aprile 2024 – 31 Marzo 2025. A tal fine rende disponibile un importo totale di 1500 euro (millecinquecento/00) da ripartire tra le domande giudicate idonee.
E’ ammesso ad effettuare la richiesta chi risulti regolarmente iscritto all’AILA per l’anno in corso al 31 Gennaio 2024.
Gli interessati sono invitati a inviare entro il 28 Febbraio 2024 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
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 Marzo 2024. 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 (lorenzo.luperi@unimi.it)
La commissione del premio “Franco Montagna” ha concluso i lavori.
Il vincitore è Claudio Agostini.
La Commissione ha inoltre assegnato una menzione speciale a Marco Abbadini e Francesco Paolo Gallinaro.
La relazione della commissione può essere scaricata al seguente link: