|
|
Room 1
|
Room 2
|
Room 3
|
|
11.40-12.00
|
Marco Abbadini
|
Matteo Acclavio
|
Lorenzo Luperi Baglini
|
|
|
Vietoris endofunctor for closed relations and its de Vries dual
|
On Propositional Dynamic Logic and Concurrency
|
Self-divisible ultrafilters and congruences in $\beta\mathbb{Z}$
|
|
12.00-12.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.20-12.40
|
Giuseppe Rosolini
|
Antonio Piccolomini d'Aragona
|
Arturo De Faveri
|
|
|
Ultracompletions
|
Some results in non-monotonic proof-theoretic semantics
|
An application of infinitary universal algebra to universal algebra
|
|
|
|
|
|
|
|
|
|
|
|
14.30-14.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.50-15.10
|
Davide Trotta
|
Raffaele Di Donna
|
Anna De Mase
|
|
|
Universal properties in computability: a categorical perspective
|
Injectivity of the coherent model for a fragment of connected MELL proof-nets
|
Model theory of valued fields via explicit model constructions
|
|
15.10-15.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.30-15.50
|
Antonino Drago
|
Giulia Manara
|
Rosario Mennuni
|
|
|
Against BHK interpretation of intuitionist logic. Towards a truthful foundation of this logic
|
The proof theory of pi-calculus
|
O-minimality, domination, and preorders
|
|
15.50-16.10
|
--
|
Valeria Giustarini
|
--
|
|
|
|
Interpolation failures in semilinear substructural logics
|
|
