[FOM] CMCS 2016: Last Call for Participation (with Programme)
fabio.zanasi at ens-lyon.fr
fabio.zanasi at ens-lyon.fr
Thu Mar 10 10:02:03 EST 2016
Last Call for Participation
13th International Workshop on
Coalgebraic Methods in Computer Science (CMCS'16)
2 - 3 April 2016, Eindhoven, the Netherlands
http://www.coalg.org/cmcs16
Venue and event
---------------
CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016.
Programme
---------------
The programme of the workshop is now available at http://www.coalg.org/cmcs16/programme.html .
Keynote Speaker
---------------
Jiri Adamek, Braunschweig University of Technology, Germany
Invited Speakers
---------------
Andreas Abel, University of Gothenburg, Sweden
Filippo Bonchi, CNRS/ENS Lyon, France
Invited Tutorial Speakers
-------------------------
There will be a special session on weighted automata, with invited tutorials by
Borja Balle, Lancaster University, United Kingdom
Alexandra Silva, University College London, United Kingdom
Accepted Papers
-------------------------
Ekaterina Komendantskaya and John Power. Category theoretic semantics for theorem proving in logic programming: embracing the laxness
David Sprunger. A complete logic for behavioural equivalence in coalgebras of finitary set functors
Bart Jacobs. Affine Monads and Side-Effect-Freeness
Ievgen Ivanov. On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
Fredrik Dahlqvist. Coalgebraic completeness-via-canonicity: principles and applications.
Mehdi Zarrad and H. Peter Gumm. Transitivity and Difunctionality of Bisimulations
Joost Winter. Product Rules and Distributive Laws
Luigi Santocanale. Relational lattices via duality
Julian Salamanca, Marcello Bonsangue and Jurriaan Rot. Duality of Equations and Coequations via Contravariant Adjunctions
Octavian Babus and Alexander Kurz. On the logic of generalised metric spaces
Accepted Short Contributions
-------------------------
Stefan Milius, Lutz Schrvder and Thorsten Wi_mann. Regular Behaviours
with Names: On Rational Fixpoints of Endofunctors on Nominal Sets
Bartek Klin and Beata Nachyla. Simple stream specifications with undecidable productivity
Tomasz Brengos, Marino Miculan and Marco Peressotti. Behavioural equivalences for coalgebras with unobservable moves
Baltasar Trancsn Y Widemann and Markus Lepper. Coinductive Program Synthesis for the Masses
Julian Salamanca. An Eilenberg-like theorem for algebras over a monad
Marco Peressotti. Towards coalgebraic semantics of higher-order behaviours
Jens Lechner. (Co)algebraic specification and its application in XML-based modelling
Filippo Bonchi, Matias David Lee and Jurriaan Rot. Proving Equations on Stream GSOS via Bisimulation on Open Terms
Henning Urbat. Algebraic Language Theory = Monads + Duality
Peter Padawitz. I-polynomial data types: adjunctions, equations, and theories
CMCS Dinner
-------------------------
We are organizing a social dinner on Sat 2 April and this is separate from the "ETAPS Pre-Satellite Events Dinner" on Sunday. For the CMCS dinner you have to register separately. Please follow the link "CMCS dinner" you find on the left at http://www.coalg.org/cmcs16/.
---
Questa e-mail è stata controllata per individuare virus con Avast antivirus.
https://www.avast.com/antivirus
More information about the FOM
mailing list