Personal tools
You are here: Home Research Seminario DSIC Curso 2009-10 Conferencias
Document Actions

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

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: