Research visit

Charla Arnd Hartmanns (University of Twente)

Este jueves 1 de diciembre, a las 11:00 en la Sala Smith, Arnd Hartmanns dictará una charla en el marco del grupo. A continuación los datos de la charla:

Charla Sean Sedwards (INRIA Rennes)

Este miércoles 26 de noviembre, a las 14:00 en la Sala Smith, Sean Sedwards dictará una charla en el marco del grupo. A continuación los datos de la charla:

Charla Arnd Hartmanns (Universität des Saarlandes)

Este miércoles 19 de noviembre, a las 14:00 en la Sala Smith, Arnd Hartmanns dictará una charla en el marco del grupo. A continuación los datos de la charla:

Charla José Santos (INRIA Sophia Antipolis Méditerranée)

Este martes 18 de noviembre, a las 16:00 en la Sala Smith, José Santos dictará una charla en el marco del grupo. A continuación los datos de la charla:

Second semester visits within MEALS

Along the semester July-December 2014, we have received/will receive the visit of the following researchers:

Charla Prof. Dr. Ernst-Erich Doberkat (TU Dortmund)

Este lunes 20 de Octure, a las 11:30 (aula a confirmar), el Prof. Dr. Ernst-Erich Doberkat dictará una charla en el marco del grupo. A continuación los datos de la charla:

Visists on March 2014

Starting on the 27th of February and until the end of March, we are happy to have the following researchers working with us:

All visits are within the framework of the MEALS project.

Workshop en el marco del proyecto DATE SticAmSud

El próximo día Viernes 1 de Noviembre desde las 9:30hs en la Salita Smith, realizaremos un workshop en el marco del projecto DATE (Distributed DiAgnosability and TEstability of Faulty Systems) SticAmSud.

Dicho workshop está dirigido a investigadores y alumnos de postgrado. Los temas que se tocarán están relacionados con el testing formal y el análisis de la diagnosticabilidad de sistemas.

Organiza: Laura Brandán Briones

Programa tentativo:

Charla de Friedrich Gretz (RWTH), 12-Sep-2013, 17:00

Este Jueves 12 de Septiembre, a las 17:00 en la Sala Smith, Friedrich Gretz va a dar una charla en el marco del curso "Semántica de procesos" abierta a todos. A continuación los datos de la charla:

Pre CONCUR Visit: Bas Luttik

Bas Luttik (Technische Universiteit Eindhoven, NL) visits us from the 14th to the 16th of August within the framework of the MEALS project.

Pages

Subscribe to Research visit
Powered by Drupal