MEALS

6th of April, 2014. Grenoble, France.
Satellite event of ETAPS 2014.

Computing systems are getting ever more ubiquitous, making us dependent on their proper functioning. MEALS is a European research project under IRSES Exchange Programme 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).

During the week of the 26th to the 31st of August, 2013, Buenos Aires will welcome the following major events:

• CONCUR 2013, the 24th International Conference on Concurrency Theory
• QEST 2013, the 10th International Conference on Quantitative Evaluation of SysTems
• FORMATS 2013, the 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems
• TGC 2013, the 8th International Symposium on Trustworthy Global Computing

It will also host the Workshops affiliated to CONCUR and the Tutorials associated to QEST.

The event is co-organized by the Universidad de Buenos Aires and the Universidad Nacional de Córdoba, and supported by MEALS.

17th of March, 2013. Rome, Italy.
Satellite event of ETAPS 2013.

Computing systems are getting ever more ubiquitous, making us dependent on their proper functioning. MEALS is a European research project under IRSES Exchange Programme 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).