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:

• CONCUR 2015 - 26th Conference on Concurrency Theory [Proceedings]

• QEST 2015 - 12th International Conference on Quantitative Evaluation of SysTems [Proceedings]

• FORMATS 2015 - 13th International Conference on Formal Modeling and Analysis of Timed Systems [Proceedings]

• TGC 2015 - 10th International Symposium on Trustworthy Global Computing [Preproceedings]

• WS-FM/BEAT 2015 - International Symposium on Web Services, Formal Methods and Behavioural Types [Preproceedings]

Workshops:

• EPEW 2015 - 12th European Workshop on Performance Engineering [Proceedings]

• 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

• TRENDS 2015

• YR-CONCUR 2015

• FOCLASA 2015 - 14th International Workshop on Foundations of Coordination Languages and Self-Adaptation [Preproceedings]

• HSB 2015 - 4th International Workshop of Hybrid Systems and Biology

 

 

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, UCM	IMDEA Software
Instituto de Matemática Interdisciplinar	Ministerio de Economía y Competitividad
Ayuntamiento de Madrid
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)