User menu

You are here

MEALS Dissemination Event

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

This is the MEALS Dissemination Event, a final event to disseminate the project result to the scientific audience. It will be colocated with the Computer Science Winter School ECI 2015 and will take place right before IJCAI 2015. The purpose of this event is to bring researchers, practitioners and industry together to discuss the issues, challenges and latest solutions for formal techniques for the specification, verification and synthesis of dependable ubiquitous computing systems, with respect to both qualitative (i.e. pure non-deterministic models) as well as quantitative behaviour (i.e. extended with probabilistic information). The event is targeted towards researchers interested in formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies). The workshop will feature a number of distinguished presentations on newest challenges, new techniques, case studies, and tool demonstrations.

The event will be in room E 24 of the Pabellón 1. of Ciudad Universitaria, city of Buenos Aires.
The buses that go there are: 28, 33, 37, 42, 45, 107, 160.
Train F.C.G.M. Belgrano, get out at estación Scalabrini Ortiz.
See also mapa.buenosaires.gov.ar