Para el "Automatic Program Verification".
Important Dates:
- Submissions: November 8, 2008 24:00 (midnight), Zurich time
- Notification to authors: December 8, 2008
- Final version: January 8, 2008
Suscribirse a:
Enviar comentarios (Atom)
skip to main |
skip to sidebar
Un lugar donde dejar las cosas que me parezcan interesantes o graciosas o que me interese recordar.
Quien ve esto!
Etiquetas
- Aconcagua (3)
- Brasil 2009 (6)
- Capoeira (7)
- charlas (2)
- China/Taiwan (2)
- Cosas Diarias (14)
- CouchSurfing (1)
- doctorado (45)
- exacta (1)
- frases de chun (2)
- frases de series (1)
- Hackear el Sistema (4)
- Histórico (7)
- idea para copiar (2)
- Italia (17)
- juegos (3)
- mendoza-2008 (9)
- mi primera construcción (6)
- negocios (17)
- phd (4)
- popurri (2)
- postdoc (2)
- preguntas (6)
- puntos de inflexión (3)
- verdades para chun (13)
- Viajes (7)
Archivo del blog
-
►
2012
(24)
- ► septiembre (5)
-
►
2011
(31)
- ► septiembre (3)
-
►
2010
(24)
- ► septiembre (2)
-
►
2009
(37)
- ► septiembre (4)
No hay comentarios:
Publicar un comentario