Co-location event

MADRID MEET 2015 Meeting will comprise a one-week scientific event with conferences and workshops in the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications.

Main Events:

Workshops:

  • EXPRESS/SOS 2015 - Combined 22nd International Workshop on Expressiveness in Concurrency and 12th Workshop on Structured Operational Semantics [Proceedings]
  • PV - 2nd International Workshop on Parameterized Verification
  • HSB 2015 - 4th International Workshop of Hybrid Systems and Biology

 

Madrid Meet 2015

 

Calendar

Madrid Meet 2015 calendar is available here.

Madrid Meet 2015 rooms are available here.

[Taken from Madrid Meet 2015 brochure]


 

Collaborators

Facultad de Informática
Facultad de Informática, UCM

IMDEA Software
IMDEA Software

Instituto de Matemática Interdisciplinar
Instituto de Matemática Interdisciplinar

MEC
Ministerio de Economía y Competitividad

Facultad de Informática
Ayuntamiento de Madrid

Microsoft Research

UCLM

Universidad de Salamanca

RAIRO: ITA
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)