XXVII Incontro di Logica

Featured Speakers

Laura Crosilla, University of Oslo
Nicola Gambino, University of Manchester
Georg Gottlob, University of Oxford
Joel David Hamkins, University of Notre Dame
Vincenzo Mantova, University of Leeds
Viorica Sofronie-Stokkermans, University of Koblenz-Landau

AILA award recipients

Filippo Calderoni, Rutgers University - Premio Montagna 2019
Luca Reggio, Oxford University - Premio Lettieri 2019 and Premio Gentilini per la Logica in Informatica
Giorgio Laguzzi, University of Freiburg - Premio Gentilini 2019
Giulio Manzonetto, Université Sorbonne Paris Nord - Premio Gentilini 2020
Tommaso Moraschini, University of Barcelona - Premio Lettieri 2021
Andrea Vaccaro, Université de Paris - Premio Montagna 2021
Giorgio Venturi, Univesidade Estadual de Campinas - Premio Gentilini 2021
Luca San Mauro, Sapienza University of Rome - Premio Gentilini 2022

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
		LUNCH
		LUNCH
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
16:00	16:40


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
		LUNCH
		LUNCH
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
16:00	16:40

		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
		LUNCH
		LUNCH
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
		LUNCH
		LUNCH
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
15:40	16:20

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)

Transport

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

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.

Given name:
Family name:
Affiliation:
Nation:
Email address:
Day of arrival:
Day of departure:
Fee type:	regular student
Comment:

XXVII Incontro di Logica

Caserta, 12-15 September 2022

Caserta, 12-15 September 2022

Featured Speakers

AILA award recipients

Programme Committee

Organising Committee

Conference venue

Transport

Suggested Hotels

Suggested B&B

Suggested Restaurants

Call for Abstracts

Caserta, 12-15 September 2022

Featured Speakers

AILA award recipients

Programme Committee

Organising Committee

Conference venue

Transport

Suggested Hotels

Suggested B&B

Suggested Restaurants

Registration

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