Skip to content.
|
Skip to navigation
Site Map
Accessibility
Contact
Search Site
Advanced Search…
Portal SIC
Sections
Home
Personal
Research
Personal tools
Log in
You are here:
Home
→
Research
→
Seminario DSIC
→
Curso 2009-10
→
Conferencias
Send this page to somebody
Fill in the email address of your friend to send an email with the address.
Address info
Send to
(Required)
The e-mail address to send this link to.
From
(Required)
Your email address.
Comment
A comment about this link.
Navigation
Home
Personal
Research
Research groups
Publicaciones
Seminario DSIC
Presentación
Planificación
Conferencias
Transparencias
Curso 2009-10
Conferencias
Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs
Abstract Interpretation and Code Protection
Automated Certification of Code-Based Cryptographic Proofs
Presentación del Grupo de Informática Gráfica
Análisis de Sistemas con Procesos Estocásticos
Semánticas de Procesos y Modelos de la Concurrencia
Grupo de Programación Declarativa: Actividades presentes
Grupo de Análisis Estático y Certificación de Propiedades
Featherweight X10: a Core Calculus for Async-Finish Parallelism
Grupo de Investigación en Testing y Evaluación del Rendimiento
Organización del Departamento
Url Oficial del Departamento
Login
News
Reclamación sobre pagas extras del PDI
2008-10-30
RSME'09 propuesta de sesión especial
2008-06-18
CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08
2008-04-09
More news…
«
June 2023
»
Su
Mo
Tu
We
Th
Fr
Sa
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Powered by Plone CMS, the Open Source Content Management System
This site conforms to the following standards:
Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser
Reclamación sobre pagas extras del PDI