ALCOP VIII, 2017 Program

Monday 10 April

09.00-09.30 Registration and Welcome (Disclaimer: no coffee yet!)
09.30-10.30 Jan Rutten (invited) Moessner's Theorem: an extensive exercise in coinduction (abstract)
10.30-11.00 Coffee break
11.00-11.30 Matej Dostal Many-valued semantics of generalised quantifiers for natural language with bialgebras (abstract)
11.30-12.00 Apostolos Tzimoulis First-order logic properly displayed (abstract)
12.00-14.30 Time for lunch
14.30-15.30 Daniela Petrisan (invited) Hybrid set-vector automata from a category-theoretic perspective (abstract)
15.30-16.00 Coffee break
16.00-16.30 Marta Bilkova Expressivity of many-valued modal logics, coalgebraically (abstract)
16.30-17.00 Petr Cintula Lindenbaum lemma for infinitary logics (abstract)

Tuesday 11 April

09.00-10.00 Helle Hvid Hansen (invited) Game Logic, coalgebraic completeness and automata (abstract)
10.00-10.30 Nick Bezhanishvili Powerset possibilization and Vietoris possibilization (abstract)
10.30-11.00 Coffee break
11.00-11.30 Zhiguang Zhao Canonicity and Completeness for Possibility Semantics (abstract)
11.30-12.30 Filip Murlak (invited) Static analysis over tree-structured data using graph decompositions (abstract)
12.30-14.00 Time for lunch
14.00-15.00 Ekaterina Komendantskaya (invited) Horn Clause logic: the knowns and the unknowns (abstract)
15.00-15.30 Giuseppe Greco Modular proof theory for axiomatic extensions and expansions of lattice logic (abstract)
15.30-16.00 Coffee break
16.00-16.30 Fei Liang Multi-type display calculus for Semi-De Morgan Logic (abstract)
16.30-17.30 Frank Wolter (invited) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment (abstract)
17.30-20.00 Time for refreshment
20.00 Workshop dinner

Wednesday 12 April

09.30-10.30 Sam van Gool (invited) Machines, Models, Monoids, and Modal logic (abstract)
10.30-11.00 Coffee break
11.00-11.30 Almudena Colacito Ordered Groups and Proof Theory (abstract)
11.30-12.00 Björn Lellmann Analytic calculi for intermediate logics: A nested sequent approach (abstract)