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

Pedro R. D'Argenio dargenio at famaf.unc.edu.ar
Fri Jan 25 07:37:09 EST 2013

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*


** **

Deadline for early registration: January 30****

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


** **

** **

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>
Research Staff Exchange
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

** **

*Workshop speakers* ****

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


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

      *Probabilistic Programs: New Semantic Insights and Loop Analysis

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

      *The Modal Transition System Control Problem*

** Nicolás Bordenabe (INRIA, France)


      *Geo-Indistinguishability: Differential Privacy for Location-Based

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

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

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

*      Learning Revised Models For Planning In Adaptive Systems*

** **

* *


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>

More information about the Types-announce mailing list