Websites and documents in this archive are no longer maintained and are provided as is.
- Some documents have been removed from this archive in order to not compromise the quality of teaching or grading for our current courses.
- Some documents, particularly those in relation to Scala, might not be relevant any longer.
Advanced Compiler Construction
- 2004 (Advanced Compiler Techniques) dr Erik Stenman.
- 2005 (Advanced Compiler Techniques) dr Erik Stenman.
- 2006 dr Michel Schinz.
- 2007 dr Michel Schinz.
- 2008 dr Michel Schinz.
- 2009 dr Michel Schinz.
Advanced Topics in Programming Languages and Concurrency
- 2003 prof. Uwe Nestman and prof. Martin Odersky.
Automates et calculabilité
- 2003 prof. Uwe Nestman.
Compilation
- 1999 prof. Martin Odersky.
- 2000 prof. Martin Odersky.
- 2001 prof. Martin Odersky.
- 2002 prof. Martin Odersky.
- 2003 prof. Martin Odersky.
- 2004 prof. Martin Odersky.
- 2005 prof. Martin Odersky.
- 2006 prof. Martin Odersky.
- 2007 prof. Martin Odersky.
Compilation allégée
- 2000 (Programmation Avancee et Compilation) dr Christoph Zenger.
- 2001 (Concurrence et Compilation) dr Christoph Zenger.
- 2002 (Concurrence et Compilation) dr Christine Röckl.
- 2003 (Compilation A) dr Erik Stenman.
Concurrency Semantics
- 2002 (Concurrency: Theory, Languages and Programming) prof. Martin Odersky and prof. Uwe Nestman.
- 2003 (Concurrency: Languages, Programming and Theory) prof. Martin Odersky and prof. Uwe Nestman.
- 2005 prof. Uwe Nestman.
Foundations of Programming
- 2000 (Fondements de la Programmation) prof. Martin Odersky and prof. Giovanni Coray.
- 2001 (Fondements de la Programmation) prof. Martin Odersky.
- 2002 prof. Martin Odersky and prof. Uwe Nestman.
Informatique II pour mécaniciens et physiciens
- 2001 prof. Uwe Nestman.
Informatique théorique III
- 2004 prof. Uwe Nestman.
Mechanized specification and proof
- 2002 dr Geoffrey Washburn.
Programmation IV / avancée
- 2002 prof. Martin Odersky.
- 2003 prof. Martin Odersky.
- 2004 prof. Martin Odersky.
- 2005 prof. Martin Odersky.
- 2006 prof. Martin Odersky.
- 2007 (Spring) prof. Martin Odersky.
- 2007 (Summer) prof. Martin Odersky.
- 2008 prof. Martin Odersky.
- 2009 prof. Martin Odersky.
- 2010 dr Michel Schinz.