Tag: Logica Matematica

Pubblicato il

Vincitore del Premio “Ada Lettieri” 2025

La commissione ha concluso i suoi lavori ed il vincitore è il dott. Marco Abbadini con l’articolo:
Stone-Gelfand duality for metrically complete lattice-ordered groups. Advances in Mathematics, 461:110067 (2025).
di cui è co-autore con Vincenzo Marra e Luca Spada.

La commissione ha inoltre assegnato due menzioni a:

Relazione finale della commissione.

Pubblicato il

Incontro AILA 2026

Il XXIX Incontro di Logica AILA 2026 si terrà a Roma, 15-18 settembre 2026.

L’Associazione organizza ogni due anni un incontro che riunisce la maggior parte dei ricercatori italiani che studiano aspetti matematici, filosofici o informatici della logica.
L’incontro sarà 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

Vito Michele Abrusci (Università Roma Tre)
Alessandro Berarducci (Dipartimento di Matematica, Università di Pisa)
Giuseppe De Giacomo (Dipartimento di Ingegneria Informatica, Automatica e Gestionale, Sapienza Università di Roma)
Su Gao (Nankai University, Tianjin, Cina)
Luca Incurvati (Institute for Logic, Language and Computation, University of Amsterdam)
Alexis Saurin (IRIF, CNRS–Université Paris Cité)
Giovanni Soldà (Ghent University)
Sara Ugolini (IIIA-CSIC, Barcellona)

Vincitori premi AILA

Martina Iannella – TU Wien, Premio AILA-UMI “Franco Montagna” 2025
Marco Abbadini (UC Louvain) – Premio “Paolo Gentilini” 2026 & Premio “Ada Lettieri” 2025
Laura Bussi (University of Pisa) – Premio “Paolo Gentilini” 2026 – track biomedica

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 2-4 pagine, scritti in inglese usando lo stile Easychair: https://easychair.org/publications/for_authors
Gli abstract possono essere inviati attraverso Easychair:
https://easychair.org/conferences/?conf=aila2026

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

Pubblicato il

Premio AILA 3+2 (a.a. 2024/25)

L’AILA bandisce un concorso per premiare le migliori tesi di laurea triennale e magistrale su argomenti di Logica Matematica dell’anno accademico 2024-2025, 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 4 ulteriori 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 2026.

Bando Premio 3+2 edizione 2026

Pubblicato il

Vincitori Premio 3+2 edizione 2025

La commissione del Premio 3+2 ha concluso i lavori.

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

Premio AILA 3+2 Laurea Magistrale: Umberto Tarantino “A category of arrow algebras for modified realizability”.

Premio AILA 3+2 Laurea Triennale: Marco Gioiello “Upward and downward modal logics of the generic multiverse”.

Borse di studio Scuola Estiva di Logica:

Paolo Boldrini, Davide Carolillo, Francesco Manfucci, Simone Bianco.

download verbale

Pubblicato il

Bando Premi “Paolo Gentilini” 2026

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

Bando: cliccare qui.

Pubblicato il

Premio AILA-UMI “Franco Montagna” – edizione 2025

[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 2022 al 31 dicembre 2024. Il premio è dedicato alla memoria di Franco Montagna. Maggiori dettagli nel bando scaricabile al seguente link:

Bando Premio Montagna 2025


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 2022 to 31 December 2024. The award is dedicated to the memory of Franco Montagna. More details in the announcement downloadable at the following link:

Call for Montagna Prize 2025

Pubblicato il

Regolamento finanziamento congressi 2025

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 2025 – 31 Marzo 2026. A tal fine rende disponibile un importo totale di 1000 euro (mille/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 2025.

Gli interessati sono invitati a inviare entro il 15 Febbraio 2025 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

  1. un programma dell’evento;                      
  2. l’elenco dei membri della commissione scientifica e/o organizzativa;         
  3. il dettaglio delle attività, incluso un elenco dei possibili invitati (speakers e non);
  4. un prospetto delle spese comprensivo di eventuali altri finanziamenti richiesti;
  5. un’indicazione di massima dell’utilizzo inteso dei fondi finanziati dall’AILA.                                                                               

Il richiedente deve essere parte della commissione scientifica e/o organizzativa del convegno.
Il contributo indica una cifra massima di finanziamento, che verrà erogata tramite un massimo di due pagamenti distinti 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 2025. 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)

Esito selezione: verbale della commissione

Pubblicato il

Vincitori del Premio AILA 3+2 anno 2024

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

Valeria Giustarini, per la tesi di laurea magistrale dal titolo “Free constructions in hoops”

e

Luca Facchinetti, per la tesi triennale dal titolo “Aspetti e generalizzazioni del teorema di Ramsey”.

Sono state assegnate 3 borse per tesi di laurea magistrale: Miriam Marzaioli, Cesare Straffellini, Anna Laura Suarez .

Inoltre, è stata assegnata 1 borsa per tesi di laurea triennale a: Riccardo Monego.

Relazione della commissione