[FM-India] FORMATS 2015 Call for Participation

[FORMATS Conference]

[ Apologies for cross posting ]

FORMATS 2015
13th International Conference on
Formal Modeling and Analysis of Timed Systems

Madrid, September 2-4
http://formats2015.unifi.it

Call for participation
---------------------------

FORMATS'15 is located within the Madrid Meet 2015, a one-week
scientific event on formal and quantitative analysis of systems,
performance engineering, computer safety, and industrial critical
applications.
http://mafalda.fdi.ucm.es/madrid2015/

FORMATS program:
http://formats2015.unifi.it/program/

Invited speakers, in collaboration with QEST and Madrid Meet:
- James Worrell (University of Oxford, UK)
- Jozef Hooman (RU Nijmegen and TNO-ESI, The Netherlands)
- Jeremy Sproston (University of Turin, Italy)
- Matthew Hennessy (Trinity College Dublin, Ireland)

Registration:
The registration for FORMATS is open, as a part of the Madrid Meet
organization, at
http://mafalda.fdi.ucm.es/madrid2015/registration.htm

Early registration deadline: July 24, 2015.