[TYPES/announce] Call for participation 1st MEALS workshop @ETAPS 2013

[Pedro R. D'Argenio]

Apologies should you receive multiple copies of this email:****

* *

*Call for participation*

* *

*1st MEALS Workshop** *

*a satellite event of ETAPS2013*

*Rome, Italy, March 17th 2013*

*http://meals-project.eu/1st-meals-workshop*

** **

Deadline for early registration: January 30****

The ETAPS online registration form is available at:****

http://www.etaps.org/2013/registration-menu-2013****

** **

** **

Computing systems are getting ever more ubiquitous, making us dependent on
their proper functioning. MEALS  (Mobility between Europe and Argentina
applying Logics to Systems, http://meals-project.eu/ ) is 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).****

** **

MEALS is a mobility project financed by the 7th Framework
programme<http://ec.europa.eu/research/fp7/>under Marie
Curie's <http://ec.europa.eu/research/mariecurieactions/index.htm>
International
Research Staff Exchange
Scheme<http://ec.europa.eu/research/fp7/understanding/marie-curieinbrief/swapping-staff_en.html>.
It involves seven academic institutions from Europe and four from
Argentina, and a total of about 80 researchers to be exchanged. The project
started on the 1st of October, 2011, and it has a duration of 4 years.**

** **

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.****

** **

*Invited speaker*

Dino Distefano, Department of Computer Science at Queen Mary, University of
London****

** **

*Workshop speakers* ****

Christel Baier (Technische Universität Dresden, Germany) ****

      *TBA*****

Joost-Pieter Katoen (RWTH Aachen University, Germany)****

      *Probabilistic Programs: New Semantic Insights and Loop Analysis
Techniques*

Nir Piterman (University of Leicester, UK)****

      *The Modal Transition System Control Problem*

** Nicolás Bordenabe (INRIA, France)

**

      *Geo-Indistinguishability: Differential Privacy for Location-Based
Systems*****

Jan Friso Groote (Eindhoven University of Technology, The Netherlands)****

      *Axiomatisation of timed branching bisimulation with unbounded choice*

Anton Wijs (Eindhoven University of Technology, The Netherlands) ****

      *Using General Purpose Graphics Processors for Probabilistic Model
Checking*

Andrea Turrini (Saarland University, Germany)

      *The Algorithmics of Probabilistic Automata Weak Bisimulation*

Hernán Melgratti (Universidad de Buenos Aires, Argentina)****

      *Realisation of Choreographies and Multi-party Session Types*

Axel Legay (INRIA, France)****

      *PLASMA-lab: a flexible, distributable statistical model checking
library*

Daniel Sykes (Imperial College, UK)****

*      Learning Revised Models For Planning In Adaptive Systems*

** **

* *

*Organization*

Suzana Andova (Eindhoven Univ. of Technology, The Netherlands)****

Pedro R. D'Argenio (Univ. Nacional de Cordoba, Argentina)****

** **

** **

**********

[Please forward this announcement to anyone interested]**

** **

** **
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130125/ff7e0999/attachment.html>