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) |