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
------------------------------------------------------------------------------
Transform Data into Opportunity.
Accelerate data analysis in your applications with
Intel Data Analytics Acceleration Library.
Click to learn more.
http://pubads.g.doubleclick.net/gampad/clk?id=278785111&iu=/4140
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
