Incontro AILA 2024

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

Interventi Plenari

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)

Vincitori premi AILA

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

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

Premio AILA 3+2 (a.a. 2022/23)

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:

  • 1 premio per la migliore tesi magistrale,
  • 1 premio per la migliore tesi triennale,
  • fino a 6 borse di studio per la partecipazione alla Scuola Estiva di Logica organizzata da AILA e SILFS.

Le domande di partecipazione saranno accettate fino al 30 aprile 2024.

Bando Premio 3+2 2024

Vincitori del Premio AILA 3+2 anno 2022/23

I vincitori del Premio AILA 3+2 per l’anno 2022/23 sono i seguenti.

Ludovico Fusco, per la tesi di laurea magistrale dal titolo “Mal’cev products in the general theory of semilattice sums of algebras”.

e

Francesco Manfucci, per la tesi di laurea triennale dal titolo “Algebre libere in logiche a valori reali”.

La commissione ha inoltre assegnato quattro borse di studio per la partecipazione alla Scuola Estiva di Logica

Sono state assegnate 2 borse per tesi di laurea magistrale : Mattia Furlan e Elena Pozzan.

Sono inoltre state assegnate 2 borse per tesi di laurea triennale a: Stella Spadoni e Giuseppe Zecchini.

Infine la commissione ha riservato una menzione speciale al lavoro di Orazio Nicolosi.

Bando Premi “Paolo Gentilini” 2024

L’AILA bandisce due premi di 2500 euro alla memoria di Paolo Gentilini. I Premi sono destinati a giovani che si siano distinti 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, all’Economia e all’ambito biomedico.

È ammesso a partecipare chi, alla data di scadenza del bando di concorso, non ha ancora compiuto 40 anni.
La scadenza per le candidature è il 30 settembre 2023 31 ottobre 2023.

Premio AILA-UMI “Franco Montagna” 2023

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

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

Premio AILA 3+2 2022

Sono aperte le candidature per il premio AILA 3+2 2022.  Saranno premiate le migliori tesi di laurea triennale o magistrale su argomenti di Logica Matematica dell’anno accademico 2020-2021, come precisato nel bando scaricabile al link qui sotto.

Il concorso è aperto a tutti coloro che conseguono la laurea triennale o magistrale nel periodo dal 1 MAGGIO 2021 al 30 APRILE 2022 discutendo una tesi su argomenti di Logica Matematica. La scadenza per le candidature è il 30 APRILE 2022.