Conferencias

Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs — erstellt von yolanda — zuletzt verändert: 09.06.2010 09:06

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

Abstract Interpretation and Code Protection — erstellt von yolanda — zuletzt verändert: 25.05.2010 14:48

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

Automated Certification of Code-Based Cryptographic Proofs — erstellt von yolanda — zuletzt verändert: 03.05.2010 10:49

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

Presentación del Grupo de Informática Gráfica — erstellt von yolanda — zuletzt verändert: 28.04.2010 19:21

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

Análisis de Sistemas con Procesos Estocásticos — erstellt von yolanda — zuletzt verändert: 30.03.2010 18:15

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

Semánticas de Procesos y Modelos de la Concurrencia — erstellt von yolanda — zuletzt verändert: 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 — erstellt von yolanda — zuletzt verändert: 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 — erstellt von yolanda — zuletzt verändert: 25.01.2010 13:04

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

Featherweight X10: a Core Calculus for Async-Finish Parallelism — erstellt von yolanda — zuletzt verändert: 25.01.2010 13:04

Ponente: Jens Palsberg Fecha: 19-1-2010

Grupo de Investigación en Testing y Evaluación del Rendimiento — erstellt von J. Alberto Verdejo López — zuletzt verändert: 25.01.2010 13:04

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