Conferencias
Up one level- Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs — by yolanda — last modified 2010-06-09 09:06
- Ponente: Konstantinos Sagonas, Fecha: 16-6-2010
- Abstract Interpretation and Code Protection — by yolanda — last modified 2010-05-25 14:48
- Ponente: Roberto Giacobazzi, Fecha: 1-6-2010
- Automated Certification of Code-Based Cryptographic Proofs — by yolanda — last modified 2010-05-03 10:49
- Ponente: Gilles Barthe, Fecha: 11-5-2010
- Presentación del Grupo de Informática Gráfica — by yolanda — last modified 2010-04-28 19:21
- Ponente: Chus Martín, Fecha: 27-4-10
- Análisis de Sistemas con Procesos Estocásticos — by yolanda — last modified 2010-03-30 18:15
- Ponente: Javier Esparza, Fecha: 13-4-2010
- Semánticas de Procesos y Modelos de la Concurrencia — by yolanda — last modified 2010-03-30 18:15
- Ponentes: David de Frutos, Fernando Rosa y Carlos Gregorio, Fecha: 16-3-2010
- Grupo de Programación Declarativa: Actividades presentes — by yolanda — last modified 2010-02-17 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 — by yolanda — last modified 2010-01-25 13:04
- Ponente: Ricardo Peña Fecha: 2-2-2010
- Featherweight X10: a Core Calculus for Async-Finish Parallelism — by yolanda — last modified 2010-01-25 13:04
- Ponente: Jens Palsberg Fecha: 19-1-2010
- Grupo de Investigación en Testing y Evaluación del Rendimiento — by J. Alberto Verdejo López — last modified 2010-01-25 13:04
- Ponente: Manuel Núñez Fecha: 15-12-2009