|
|
Room 1
|
Room 2
|
Room 3
|
|
11.40-12.00
|
Luca Spada
|
Beatrice Pitton
|
Franco Parlamento
|
|
|
Weil 2-rigs
|
Generalized Baire Class Functions
|
Kanger-Wang-type Sequent Calculi with Equality
|
|
12.00-12.20
|
Gavin St. John
|
Sebastiano Thei
|
Antonino Salibra
|
|
|
Subdirectly irreducible idempotent and integral rigs
|
Elementarity and cardinal correctness
|
The variety of Boolean algebras of dimension n and its higher dimensional propositional logic
|
|
12.20-12.40
|
Sebastiano Napolitano
|
|
Matteo Acclavio
|
|
|
Subdirectly irreducible and generic equational states
|
|
On Proof Equivalence and Combinatorial Proofs
|
|
|
|
|
|
|
|
|
|
|
|
14.30-14.50
|
Francesco Manfucci
|
Raphaël Carroy
|
Ludovica Conti
|
|
|
Conditionals as quotients in Boolean algebras
|
Continuous reducibility is a well-quasi-order on continuous functions with analytic 0-dimensional domain
|
Arbitrary Frege Arithmetic
|
|
14.50-15.10
|
Sara Ugolini
|
Salvatore Scamperti
|
Marco Pedicini
|
|
|
Equational anti-unification, algebraically
|
Universality proprieties of graph homomorphism: one construction to prove them all
|
Geometry of interaction and non-determinism
|
|
15.10-15.30
|
Paolo Aglianò
|
Alessandro Andretta
|
Silvio Ghilardi
|
|
|
Universal completeness theorems in algebra and logic
|
Does DC imply AC_omega, uniformly?
|
Logic for Artificial Intelligence: a teaching experience
|
|
15.30-15.50
|
Damiano Fornasiere
|
Juan M Santiago Suárez
|
--
|
|
|
Well-ordered forests as spectra of Heyting algebras
|
Model theory meets set theory
|
|
|
15.50-16.10
|
Sofia Becatti
|
--
|
--
|
|
|
Default quantifiers: an algebraic investigation
|
|
|
