MODELOS FORMALES PARA CONCURRENCIA Y SEMÁNTICA

ProgramaEn hora local del evento

9:30 Apertura (Decano de CC. Matemáticas UCM)

9:40

  - En un lugar de La Mancha de cuyo token no quiero acordarme..., Fernando Cuartero y Valentín Valero (UCLM)

  - Semántica observacional de procesos davidergentes,

Carlos Gregorio (UCM)

  - Alcanzando y recubriendo: una historia de redes y ambientes nada monótonos, Fernando Rosa (UCM)

  - Cómo demostrar que P = NP (o casi), Ignacio Fábregas (IMDEA Software) y David Romero (Deloitte)

  - Un nuevo teorema del punto fijo, Yolanda Ortega (UCM)

11:00 On reversing computations in Petri nets, Lukasz Mikulski (Nicolaus Copernicus University, Polonia)

11:25  Pausa café

11:45

 - Los informales que utilizábamos métodos formales,

Juan Quemada (UPM)

 - Venturas y desventuras de una larga colaboración,

Ricardo Peña (UCM)

 - Nos vemos inexorablemente abocados a...,

Natalia López (UCM)

12:35 Checking bisimilarity for processes with data using symbolic graph transformation with borrowing contexts, Fernando Orejas (UPC)

13:35 Comida buffet

15:00 Black Ninjas in the Dark: Formal Analysis of Population Protocols, Javier Esparza (Technical University of Munich, Alemania)

16:00

 - Reviewing games, Jeroen Keiren (Eindhoven University of Technology, Holanda)

  - Monitoring and model checking combined,

Dario della Monica (Università Udine, Italia)

17:00 Pausa café

17:30

    - IMDEA Networks: The Science of Networks,  Arturo Azcorra (IMDEA Networks)

    - Cosas de la concurrencia o la concurrencia de las cosas, Juanjo Moreno (UPM)

18:20  Palabras del homenajeado

18:45 Clausura (Decano de Informática UCM)

La inscripción ha finalizado.