Conferencias

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