Presentations and Course Material

2006 - El software: ¿lo dejamos libre abierto en el entorno sanitario? Dejadlo libre(pdf)

Conferencia impartida en las XI Jornadas de Informática Sanitaria, jornadas especialmente dedicadas al impacto del software de código abierto en el entorno sanitario.

2005 - eXtreme Programming (gzipped postscript)

Light presentation on Extreme Programming (XP) and how Formal Methods could be introduced in XP practices.

2004 - Introducción a CVS (gzipped postscript)

Breve presentación sobre el sistema de control de versiones CVS.

2001 - C en 1 hora ;-) (gzipped postscript, código fuente)

Una charla que dí a un pequeño grupo de alumnos en el año 2001.

1999 - Programming from specifications(gzipped postscript)

Talk on programming from specifications that I gave during my visit at University of Münster on 1999

1998 - La lógica de la programación (gzipped postscript)

Una charla de introducción a la lógica de la programación que dí a mis alumnos de concurrente en 1998.