MEALS Dissemination Event

24th of July, 2015. Buenos Aires, Argentina. Colocated with ECI 2015.

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).

2nd MEALS Workshop

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).

MEALS Momentum Gathering

31st of August, 2013. Buenos Aires, Argentina.
Satellite event of CONCUR 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).

CONCUR, QEST, FORMATS and TGC 2013

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

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.

Winter School ECI 2013

The Winter School in Computer Science ECI 2013 will be held from the 22nd to 27th of July, 2013. It is organized by the Department of Computer Science of the University of Buenos Aires and it will be partially supported by the MEALS project. This year edition consists of nine courses:

1st MEALS Workshop

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).

Summer School RIO 2012

The Summer School in Computer Science RIO 2012 will be held from 13 to 18 February, 2012. It is organized by the Department of Computer Science of the Universidad Nacional de Río Cuarto and it will be partially supported by the MEALS project. This year edition consists of five courses:

We have a shiny new web page!

... and a cool URL!