[TYPES/announce] CMCS 2016: Last Call for Participation (with Programme)

[fabio.zanasi at ens-lyon.fr]

                           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