Program

All talks will take place in room B78 of the ExWi-building of the University of Bern.
Coffee breaks will be organized in room B13.

Abstracts [PDF]

Wednesday 27

09:00 Welcome and Coffee
09:30 Alex Simpson On Proof by Infinite Descent (slides)
10:30 Coffee Break
11:00 Lutz Schröder Coalgebra and Coalgebraic Logic (slides)
12:40 Lunch
14:30 Viorica Sofronie-Stokkermans Hierarchical reasoning in local theory extensions and combinations thereof
15:30 Coffee Break
16:00 Tadeusz Litak TBC
16:35 Daniela Petrisan Stone type dualities in nominal sets (slides)
17:10 Peter Hancock Algebras, simulations, and provable ordinals (slides)


Thursday 28

09:00 Thomas Studer Deductive Systems for Common Knowledge (slides)
10:00 Coffee Break
10:30 James Brotherston Craig Interpolation in Displayable Logics (slides)
11:05 Bjorn Lellmann From Shallow Axioms to Cut-free Sequent Systems (slides)
11:40 Marta Bílková Proof systems for Moss' coalgebraic logic (slides)
12:10 Lunch
14:00 Alexandre Borovik Blurring the line between proof and (probabilistic) computation
15:00 Coffee Break
15:30 Ciro Russo MV-algebras and fuzzy topologies: Stone duality extended (slides)
16:05 Rostislav Horčík An algebraic proof of the disjunction property (slides)
16:40 Laura Ciobanu Existentially definable sets
19:30 Dinner at Restaurant Dählhölzli


Friday 29

09:30 Luigi Santocanale Some algebra for (flat) modal fixpoint logics (slides)
10:30 Coffee Break
11:00 Richard McKinley Canonical proof nets for propositional classical logic (slides)
11:35 Jiří Velebil Relation lifting for endofunctors of preorders, metric spaces, etc. (slides)
12:10 Clemens Kupke Optimal tableau algorithms for coalgebraic logics (slides)