Meeting in Sinaia, Romania, 02 - 03 September 2014

This meeting has taken place in the beautiful Sinaia, Romania, colocated with WADT 2014. We will use two full days, i.e. start on Sept. 2 on 9h and end on Sept. 3 on 18h.

Talks

Tue, 02 September 2014

• 09:00 Equational abstractions in rewriting logic and Maude by Narciso Martí-Oliet      abstract slides
• 11:00 Uniform Eilenberg Theorem: Syntactic Algebras For Free by Stefan Milius      abstract slides
• 12:00 Towards a Coalgebraic Chomsky Hierarchy by Sergey Goncharov      abstract slides
• 15:00 Full Operational Semantics for Asynchronous Relational Nets by Carlos Gustavo Lopez Pombo      abstract slides
• 17:00 Monads and Trace Semantics by Lutz Schröder      abstract slides

Wed, 03 September 2014

• 09:00 An exercise on confined separation logic by Luis S. Barbosa      abstract slides
• 10:30 The distributed ontology, modeling and specification language - recent developments by Till Mossakowski      abstract slides paper
• 11:30 The art of lying, with the proof assistant Coq by Dominique Duval      abstract slides
• 15:00 Distributive laws and decidable properties of SOS by Bartek Klin      abstract slides paper
• 16:00 Specification of Asynchronous Component Systems with Modal I/O-Petri Nets by Rolf Hennicker      abstract slides paper