Workshop on Lattices and Relations

12-14th September 2012

Institute for Logic, Language and Computation

University of Amsterdam

The Netherlands

[Aim and Scope]    [Invited Speakers]    [Programme]     [Featured Topics]    [Important Dates]    [Organizers]     [Information]    [Practical Info]

Workshop Programme

Wednesday, 12th September
Location: Universiteits bibliotheek C0.07 (Doelenzaal) (see practical information for details)

09:30-09:35 Opening and Welcome
09:35-10:35 Roger Maddux (Invited) Subcompletions of Atomic Representable Relational Algebras [Abstract]
10:35-10:55 Coffee break
10:55-11:35 Peter Höfner Towards a Representation Theorem for Coloring Algebra [Abstract]
11:40-12:20 John Stell The Relational Foundation of Mathematical Morphology on Hypergraphs [Abstract]

12:20-13:45 Lunch Break

13:45-14:25 Hitoshi Furusawa Strict point axiom in Dedekind categories is really strict [Abstract]
14:30-15:10 Georg Struth Semigroups for Concurrency [Abstract]
15:10-15:30 Coffee break
15:30-16:10 Szabolcs Mikulas Validities for Residuated Algebras of Binary Relations [Abstract]
16:15-17:15 Zoltan Esik (Invited) The equational theory of fixed points and Kleene relation algebras [Abstract]
17:15-17:30 Discussion
17:30 Drinks

Thursday, 13th September
Location: Universiteits bibliotheek C0.01 (Potgieterzaal) (morning session)
             Oost Indisch Huis E0.02 (VOC-zaal) (afternoon session)

09:30-10:30 Marcel Jackson (Invited) Algebras of functions [Abstract]
10:30-10:50 Coffee break
10:50-11:30 Peter Höfner Kleene Modules for Routing Procedures [Abstract]
11:35-12:15 Alasdair Armstrong A Repository for Lattices and Kleene Algebras in Isabelle/ HOL [Abstract]
12:20-13:00 Shohei Izawa Category of Algebras view from Relational Structure Theory [Abstract]

13:00-15:00 Lunch break

15:00-15:40 Jurriaan Rot Kleene Algebras and Bisimulation-up-to [Abstract]
15:45-16:45 Marcello Bonsangue (Invited) Brzozowski's determinization algorithm (co)algebraically [Abstract]
16:45-17:00 Discussion

18:00 Social Dinner

Friday, 14th September
Location: Universiteits bibliotheek C0.07 (Doelenzaal)

09:30-10:30 Willem Conradie (Invited) Algebraic semantics for some hybrid logics, and a new Sahlqvist Theorem [Abstract]
10:30-10:50 Coffee break
10:50-11:30 Sumit Sourabh Order theoretic Correspondence for Intuitionistic Mu-Calculus [Abstract]
11:35-12:15 Giuseppe Greco A display-style sequent calculus for Public Announcement Logic [Abstract]

12:15-13:45 Farewell lunch