1st MEALS Workshop

17th of March, 2013. Rome, Italy.
Satellite event of ETAPS 2013.

Computing systems are getting ever more ubiquitous, making us dependent on their proper functioning. MEALS is a European research project under IRSES Exchange Programme focused on designing and developing methods which provide a formal approach to model, understand, and analyze systems, wrt their required behavior: correct (i.e. they conform their intended behaviour), safe (i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure (i.e., no user without appropriate clearance can access or modify protected data).

The purpose of this workshop arranged by MEALS is to bring researchers, practitioners and industry together to discuss the issues, challenges and latest solutions for formal techniques for the specification, verification and synthesis of dependable ubiquitous computing systems, with respect to both qualitative (i.e. pure non-deterministic models) as well as quantitative behaviour (i.e. extended with probabilistic information). The workshop is targeted towards researchers interested in formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies). The workshop will feature a number of distinguished presentations on newest challenges, new techniques, case studies, and tool demonstrations.

Registration and Traveling

Please follow the information at ETAPS 2013 website.


9:00 Amuse-geuele: Invited Talk
Dino Distefano (Queen Mary, University of London, UK)
A Voyage to the Deep-Heap (Abstract)
10:00 Entrée
Hernán Melgratti (Universidad de Buenos Aires, AR)
Realisation of Choreographies and Multi-party Session Types (Abstract)
Nicolás Bordenabe (INRIA, FR)
Geo-Indistinguishability: Differential Privacy for Location-Based Systems (Abstract)
11:00 Cofee break
11:30 Premier Plat
Christel Baier (Technische Universität Dresden, DE)
Quantitative analysis of low-level operating system primitives using probabilistic model checking (Abstract)
Andrea Turrini (Saarland University, DE)
The Algorithmics of Probabilistic Automata Weak Bisimulation (Abstract)
12:30 Lunch
14:00 Second Plat
Nir Piterman (University of Leicester, UK)
The Modal Transition System Control Problem (Abstract)
Daniel Sykes (Imperial college, UK)
Learning Revised Models For Planning In Adaptive Systems (Abstract)
Jan Friso Groote (Eindhoven University of Technology, NL)
Axiomatisation of timed branching bisimulation with unbounded choice (Abstract)
15:30 Cofee break
16:00 Dessert
Axel Legay (INRIA, FR)
PLASMA-lab: a flexible, distributable statistical model checking library (Abstract)
Anton Wijs (Eindhoven University of Technology, NL)
Using General Purpose Graphics Processors for Probabilistic Model Checking (Abstract)
Joost-Pieter Katoen (RWTH Aachen University, DE)
Probabilistic Programs: New Semantic Insights and Loop Analysis Techniques (Abstract)

Organizing Committee