XXVII Incontro di Logica

Caserta, 12-15 September 2022

More info

Caserta, 12-15 September 2022

The Incontro di Logica is organised by the Italian Association for Logic and its Applications (AILA) every three years. It features international invited speakers, recipients of the AILA prizes (Gentilini, Montagna, Lettieri), and contributed presentations in Logic.

See the Invited Speakers

Featured Speakers

AILA award recipients

See the Committees

Programme Committee

  • Agata Ciabattoni (Technische Universität Wien)
  • Marcello D’Agostino (Università di Milano)
  • Ugo Dal Lago (Università di Bologna)
  • Paola D’Aquino (Università della Campania)
  • Vincenzo Dimonte (Università di Udine)
  • Guido Gherardi (Università di Bologna)
  • Silvio Ghilardi (Univerità di Milano)
  • Sonia L’Innocente (Università di Camerino)
  • Luca Paolini (Università di Torino)
  • Luca Spada (Università di Salerno)
  • Lorenzo Tortora De Falco (Università di Roma 3)
  • Matteo Viale (Università di Torino)

Organising Committee

  • Paola D’Aquino (Università della Campania "L. Vanvitelli") - Chair
  • Anna De Mase (Università della Campania "L. Vanvitelli")
  • Luca Spada (Università di Salerno)
  • Giuseppina Terzo (Università di Napoli "Federico II")
  • Pierre Touchard (Università della Campania "L. Vanvitelli")

See the schedule
starts ends 12 September
09:00 10:00 Joel David Hamkins
Nonlinearity and illfoundedness in the hierarchy of consistency strength and the question of naturality
10:00 10:40 Filippo Calderoni
Borel structures on the space of left-orderings
10:40 11:10 Coffee
11:10 11:30 Matteo Viale
Forcing axioms and model companionship results for set theory
Paola Cattabriga
On Indeterminism
11:30 11:50 Francesco Parente
Universality properties of forcing extensions
Antonio Veredice
The rebirth of mathematical logic in Italy
11:50 12:10 Martina Iannella
Convex embeddability on countable linear orders
Stefano Bonzio and Andrea Loi
Embeddings of metric Boolean algebras in R^N
12:10 12:30 Greta Coraglia and Ivan Di Liberti
The deductive system of a 2-category
14:30 14:50 Laura Crosilla
On Weyl's predicative concept of set
14:50 15:10
15:10 15:30
15:30 16:00 Coffee
16:00 16:40 Giorgio Venturi
What model companionship can say about the Continuum Problem
starts ends 13 September
09:00 10:00 Georg Gottlob
Adventures with Datalog: Walking the Thin Line Between Theory and Practice
10:00 10:40 Luca San Mauro
A computable analog of the theory of Borel equivalence relations
10:40 11:10 Coffee
11:10 11:30 Ugo De'Liguoro and Riccardo Treglia
The Characterization of Convergence in Computational Lambda-Calculi via Intersection Types
Luca Carai, Serafina Lapenta and Luca Spada
Baker-Beynon duality beyond finite presentations
11:30 11:50 Beniamino Accattoli, Ugo Dal Lago and Gabriele Vanoni
Reasonable Space for the Lambda-Calculus, Logarithmically
Marco Abbadini, Vincenzo Marra and Luca Spada
Duality for metrically complete abelian $\ell$-groups
11:50 12:10 Jiří Raclavský and Petr Kuchyňka
Problems with Beta-conversion Rules in Type Theory with Quotation and Evaluation Terms
Gaetano Vitale, Antonio Di Nola and Giacomo Lenzi
Geometry of Super-Lukasiewicz Logics
12:10 12:30 Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem and Paolo Pistone
Towards a Randomized Bounded Arithmetic
Bożena Pięta
Nonmonotonic variants of pivotal assumptions and tableau methods
14:30 14:50 Giuliano Rosella and Sara Ugolini
Algebras of Counterfactual Conditionals
Davide Barbarossa
An overview on the Taylor expansion of programs
14:50 15:10 Giuliano Rosella, Tommaso Flaminio and Stefano Bonzio
A Modal Logic of Counterfactual Conditionals via Boolean Algebras
Giulia Manara
Towards parallel reduction for Lineal Logic Proof-nets
15:10 15:30 Alejandro Solares-Rojas and Marcello D'Agostino
Tractable depth-bounded approximations to First-Degree Entailment
Matteo Acclavio
Logic Beyond Formulas: Designing a Proof System for Logical Time
15:30 16:00 Coffee
16:00 16:40 Tommaso Moraschini
Profiniteness and spectra of Heyting algebras
Social dinner (Meeting at 19:30 at the gas station here)
starts ends 14 September
09:00 10:00 Nicola Gambino
Differential λ-calculus and analytic functors
10:00 10:40 Luca Reggio
The algebraic theory of C(X) and its logic
10:40 11:10 Coffee
11:10 11:30 Jacopo Emmenegger, Fabio Pasquali and Giuseppe Rosolini
Equality is coalgebraic
Pierre Touchard
Ax-Kochen-Ershov principles for valued abelian structures
11:30 11:50 Michele Contente and Maria Emilia Maietti
The Compatibility of the Minimalist Foundations with Homotopy Type Theory
Noa Lavi
New irreducible generalised power series
11:50 12:10 Davide Trotta and Maria Emilia Maietti
Exact Morita equivalence of doctrines and applications
Paolo Lipparini
Comparable binary relations and the amalgamation property
12:10 12:30 Cipriano Junior Cioffo
Homotopy setoids as elementary quotient completion
Antonio Bucciarelli and Antonino Salibra
Clones and polymorphisms, algebraically
14:30 14:50 Vincenzo Mantova
A survey on exponential-algebraic closure and quasiminimality
14:50 15:10
15:10 15:30
15:30 16:00 Coffee
16:00 16:40 Andrea Vaccaro
Set Theory and subalgebras of the Calkin algebra
16:40 19:10 Assemblea AILA
starts ends 15 September
09:00 10:00 Viorica Sofronie-Stokkermans
On hierarchical symbol elimination and applications
10:00 10:40 Giulio Manzonetto
The Lambda Calculus, its Syntax and Semantics 40 years later
10:40 11:10 Coffee
11:10 11:30 Davide Catta, Matteo Acclavio and Lutz Strassburger
Game Semantics for Constructive Modal Logic
Gianluca Paolini
Torsion-Free Abelian Groups are Borel Complete
11:30 11:50 Matteo Pascucci
Recent semantics for modal systems without replacement of provable equivalents
Vittorio Cipriani
Learning of algebraic structures and Borel equivalence relations
11:50 12:10 Elena Popova and Vitaliy Dolgorukov
Temporal Epistemic Logic for Awareness with Minimum Delay
Claudio Agostini
Polish-like spaces and descriptive set theory at uncountable cardinals
12:10 12:30 Paolo Baldi and Hykel Hosni
Logical Approximations of Qualitative Probability
Beatrice Pitton and Luca Motto Ros
Borel and Borel^* sets in generalized descriptive set theory
14:30 14:50 Samuele Maschio
Posetal partial applicative structures
14:50 15:10 Marta Fiori Carones
Ramsey-theoretic statements over a weaker base theory
15:10 15:40 Coffee
15:40 16:20 Giorgio Laguzzi
Non-constructive sets of reals and infinite utility streams
Local information

Conference venue

The conference will take place at the Dipartimento di Matematica e Fisica at Università della Campania "L: Vanvitelli", in Caserta (see map)


Time-table buses Napoli airport/Caserta

For trains from Napoli central station to Caserta look here or here

Itabus Time-table of the buses Napoli central station/Caserta

Flixbus Time-table of the buses Napoli central station/Caserta

Suggested Hotels

Name single room double room Notes
Hotel Bruman € 68 € 78 Includes parking
Hotel Europa Art € 75 € 95
Villa Maria Cristina € 85 € 100
Grand Hotel Vanvitelli € 100 € 110
Hotel Royal € 115 € 135
Hotel dei Cavalieri € 90 € 105

Suggested B&B

Name Single room Double room Notes
I Borbone € 55 € 80
Murat B&B € 40 € 60 Raffaele 3296831068
B&B Art Caserta centro € 35 € 40
B&B Galileo Galilei € 25 € 50

Suggested Restaurants

Martucci via Roma 7/11 Lunch only
Isabel via Roma, 39/43
Trattoria Caprese via Roma 75
Le tre farine via Cesare Battisti 46
I Masanielli via Vivaldi, 23 pizzeria
Trattoria Braceria Antichi Sapori via Verdi 58 Only meat
Locanda Battisti via Fratelli Giovanni e Giulio Pagano 10/12 Only fish
Officina di zio Pesce via Giambattista Vico 41 Only fish


Early regular registration (before 30 of June): 50 euros

Early student registration (Students and PhD, before 30 of June): 20 euros

Regular registration: 100 euros

Student registration: 40 euros

Call for Abstracts

The Programme Committee of Incontro AILA welcomes submissions of abstracts from any researcher in the world. A list of topics in the scope of the conference includes:

  • category theory,
  • computability theory,
  • logic and computer science,
  • logic and philosophy, 
  • model theory,
  • non-classical logics,
  • proof theory,
  • set theory.

The abstracts must be maximum 2-page long and written in English using the Easychair style. Abstracts can be submitted through the Easychair website

The deadline for submission is the 30th April 2022.

Notifications of acceptance will be sent before the 15th June 2022.

Con il contributo di
Dipartimento di Matematica "F. Enriques"
Gruppo GNSAGA dell'INDAM

Dipartimento di Matematica e Fisica