Meeting in Eindhoven, The Netherlands, 31 March - 01 April 2016

Etapslogolarge_blue

The next meeting will take place in Eindhoven, colocated with ETAPS. The meeting will start on Thursday, March 31st, at 2pm, and will end on Friday, April 1st, 5pm.

Dinner

There is a dinner planned for Thursday 19.30pm at Antonio's.

Meeting Venue

We meet in room MMP 3 in the Multimedia Pavilion.

Talks

Fri, 01 April 2016

09:30 Continuous components, monadically by Luis S. Barbosa abstract slides paper
10:10 Extracting Visual Contracts from Java Programs by Reiko Heckel abstract paper
11:10 Nominal Automata with Name Binding by Lutz Schröder abstract slides paper
11:50 Modeling and reasoning with I-polynomial data types by Peter Padawitz abstract slides
15:00 OnPlan: A Framework for Simulation-Based Online Planning by Martin Wirsing abstract slides paper

Thu, 31 March 2016

14:00 Towards a UML-MARTE/CSP-OZ Based Software Development Methodology by Mohamed Bettaz abstract slides
14:45 About some practical problems concerning UML, BPMN and database integration by Till Mossakowski abstract slides
15:15 Probabilistic NetKAT by Alexandra Silva abstract slides paper
16:15 A General Account of Coinduction Up-To by Filippo Bonchi abstract slides