Scientific Programme

  Saturday, 2 April 2016
Chair: Ichiro Hasuo
09:00–10:00 Keynote Talk: Fixed Points of Functors - A Survey [Slides]
Jiri Adamek.
10:00–10:30 Transitivity and Difunctionality of Bisimulations. [Slides]
Mehdi Zarrad and H. Peter Gumm.
10:30–11:00 Break
Chair: Joost Winter
11:00–11:30 Affine Monads and Side-Effect-Freeness. [Slides]
Bart Jacobs.
11:30–12:00 Duality of Equations and Coequations via Contravariant Adjunctions. [Slides]
Julian Salamanca, Marcello Bonsangue and Jurriaan Rot.
12:00–12:30 Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.
Ekaterina Komendantskaya and John Power.
12:30–13:15 Lunch
13:15–14:00 CMCS Business Meeting.
  Special Session on Weighted Automata
Chair: Jurriaan Rot
14:00–14:45 Invited Tutorial: (Co)-Algebraic and Analytic Aspects of Weighted Automata Minimization and Equivalence, Part I. [Slides]
Alexandra Silva.
14:45–15:30 Invited Tutorial: (Co)-Algebraic and Analytic Aspects of Weighted Automata Minimization and Equivalence, Part II. [Slides]
Borja Balle.
15:30–16:00 Break
Chair: Alexandra Silva
16:00–16:30 Product Rules and Distributive Laws. [Slides]
Joost Winter.
16:30–16:50 Algebraic Language Theory = Monads + Duality. (Short Contribution) [Abstract]
Henning Urbat.
16:50–17:10 An Eilenberg-like Theorem for Algebras over a Monad. (Short Contribution) [Abstract] [Slides]
Julian Salamanca.
17:10–17:30 Behavioural Equivalences for Coalgebras with Unobservable Moves. (Short Contribution) [Abstract] [Slides]
Tomasz Brengos, Marino Miculan and Marco Peressotti.
17:30–17:50 Simple Stream Specifications with Undecidable Productivity. (Short Contribution) [Abstract] [Slides]
Bartek Klin and Beata Nachyla.
19:00– CMCS dinner
  Sunday, 3 April 2014
Chair: Stefan Milius
09:00–10:00 Invited Talk: Lawvere Theories as Composed PROPs. [Slides]
Filippo Bonchi.
10:00–10:30 On the Logic of Generalised Metric Spaces.
Octavian Babus and Alexander Kurz.
10:30–11:00 Break
Chair: John Power
11:00–11:30 A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.
David Sprunger.
11:30–12:00 Coalgebraic Completeness-via-Canonicity: Principles and Applications.
Fredrik Dahlqvist.
12:00–12:30 Relational Lattices via Duality.
Luigi Santocanale.
12:30–14:00 Lunch
Chair: Fredrik Nordvall Forsberg
14:00–15:00 Invited Talk: Coinduction with Sized Types. [Slides]
Andreas Abel.
15:00–15:30 On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. [Slides]
Ievgen Ivanov.
15:30–16:00 Break
Chair: Ichiro Hasuo
16:00–16:20 Towards Coalgebraic Semantics of Higher-Order Behaviours. (Short Contribution) [Abstract] [Slides]
Marco Peressotti.
16:20–16:40 Regular Behaviours with Names: On Rational Fixpoints of Endofunctors on Nominal Sets. (Short Contribution) [Abstract] [Slides]
Stefan Milius, Lutz Schroeder and Thorsten Wissmann.
16:40–17:00 Proving Equations on Stream GSOS via Bisimulation on Open Terms. (Short Contribution) [Abstract]
Filippo Bonchi, Matias David Lee and Jurriaan Rot.
17:00–17:20 Coinductive Program Synthesis for the Masses. (Short Contribution) [Abstract] [Slides]
Baltasar Trancon Y Widemann and Markus Lepper.
17:20–17:40 I-Polynomial Data Types: Adjunctions, Equations, and Theories. (Short Contribution) [Abstract] [Slides]
Peter Padawitz.
17:40–18:00 (Co)algebraic Specification and Its Application in XML-Based Modelling. (Short Contribution) [Abstract] [Slides]
Jens Lechner.
19:00–… ETAPS Pre-Satellite Events dinner (Registration is together with the ETAPS registration)