Conferencias

Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs — Par yolanda - — Dernière modification 09/06/2010 09:06

Ponente: Konstantinos Sagonas, Fecha: 16-6-2010

Abstract Interpretation and Code Protection — Par yolanda - — Dernière modification 25/05/2010 14:48

Ponente: Roberto Giacobazzi, Fecha: 1-6-2010

Automated Certification of Code-Based Cryptographic Proofs — Par yolanda - — Dernière modification 03/05/2010 10:49

Ponente: Gilles Barthe, Fecha: 11-5-2010

Presentación del Grupo de Informática Gráfica — Par yolanda - — Dernière modification 28/04/2010 19:21

Ponente: Chus Martín, Fecha: 27-4-10

Análisis de Sistemas con Procesos Estocásticos — Par yolanda - — Dernière modification 30/03/2010 18:15

Ponente: Javier Esparza, Fecha: 13-4-2010

Semánticas de Procesos y Modelos de la Concurrencia — Par yolanda - — Dernière modification 30/03/2010 18:15

Ponentes: David de Frutos, Fernando Rosa y Carlos Gregorio, Fecha: 16-3-2010

Grupo de Programación Declarativa: Actividades presentes — Par yolanda - — Dernière modification 17/02/2010 21:44

Ponentes: Francisco López Fraguas y doctorandos GPD, Fecha: 23-2-2010

Grupo de Análisis Estático y Certificación de Propiedades — Par yolanda - — Dernière modification 25/01/2010 13:04

Ponente: Ricardo Peña Fecha: 2-2-2010

Featherweight X10: a Core Calculus for Async-Finish Parallelism — Par yolanda - — Dernière modification 25/01/2010 13:04

Ponente: Jens Palsberg Fecha: 19-1-2010

Grupo de Investigación en Testing y Evaluación del Rendimiento — Par J. Alberto Verdejo López - — Dernière modification 25/01/2010 13:04

Ponente: Manuel Núñez Fecha: 15-12-2009