Risultato delle votazioni online del 17-18 settembre 2026

l’Assemblea del 17 e 18 settembre 2026, con la votazione sul rinnovo delle cariche sociali, si è conclusa. Hanno votato 110 soci (con diritto di voto) su 130 soci (con diritto di voto). Il risultato dello spoglio è il seguente:

Presidente:

Matteo Viale 101

Consiglio Direttivo:

Sara Negri 55
Luca San Mauro 49
Paolo Pistone 46
Lorenzo Tortora De Falco 46
Silvio Ghilardi 43
Silvia Barbina 41
Cesare Straffelini 39
Paola D’Aquino 38
Giorgio Venturi 34
Luca Reggio 28
Vincenzo Dimonte 28
Lorenzo Luperi Baglini 28

In base all’art. 19 dello statuto “In caso di parità di preferenze tra candidati, prevale il candidato del genere meno rappresentato nel Consiglio e, in via residuale, prevale il candidato più giovane di età.” Dunque, tra gli ultimi tre (a pari merito) risulta eletto Luca Reggio.

Risultano quindi eletti:

Presidente (triennio 2026-29): Matteo Viale

Consiglio Direttivo (triennio 2026-29): Sara Negri, Luca San Mauro, Paolo Pistone, Lorenzo Tortora De Falco, Silvio Ghilardi, Silvia Barbina, Cesare Straffelini, Paola D’Aquino, Giorgio Venturi, Luca Reggio

A questo link è possibile vedere il risultato dello spoglio.




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

Poster


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.

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