
Room 1

Room 2

Room 3

11.4012.00

Marco Abbadini

Matteo Acclavio

Lorenzo Luperi Baglini


Vietoris endofunctor for closed relations and its de Vries dual

On Propositional Dynamic Logic and Concurrency

Selfdivisible ultrafilters and congruences in $\beta\mathbb{Z}$

12.0012.20

Elena Pozzan

Cezary Cieśliński

Mariaclara Ragosta


A Stone duality for the class of compact Hausdorff spaces

Strong truth classes via approximations

Central sets and infinite monochromatic exponential patterns

12.2012.40

Giuseppe Rosolini

Antonio Piccolomini d'Aragona

Arturo De Faveri


Ultracompletions

Some results in nonmonotonic prooftheoretic semantics

An application of infinitary universal algebra to universal algebra









14.3014.50

Matteo De Berardinis

Adrien Ragot

Paola D'Aquino


Barr exactness in classes of locally finite, transitive and reflexive Kripke frames

Correctness Criterion for Second Order Multiplicative Linear Logic

Modal theory of residue rings of models of Peano Arithmetic

14.5015.10

Davide Trotta

Raffaele Di Donna

Anna De Mase


Universal properties in computability: a categorical perspective

Injectivity of the coherent model for classical logic without weakenings

Model theory of valued fields via explicit model constructions

15.1015.30

Samuele Maschio

Roberto Maieli

Noa Lavi


Categorical structures arising from implicative algebras

Bayesian Proof Nets: an encoding of Bayesian networks in to proof nets of linear logic

Factorization in generalized power series

15.3015.50

Antonino Drago

Giulia Manara

Rosario Mennuni


Against BHK interpretation of intuitionist logic. Towards a truthful foundation of this logic

The proof theory of picalculus

Ominimality, domination, and preorders

15.5016.10



Valeria Giustarini





Interpolation failures in semilinear substructural logics

