| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 24.08.2004 | Professor Kokichi FUTATSUGI (Japan) | Introduction to CafeOBJ | No foils | |
| 31.08.2004 | No lecture | |||
| 07.09.2004 | Professor Isabelle Ryl (France) | About Dynamic Classes in Creol | Foils | |
| 14.09.2004 | Atle Refsdal | Probabilistic Interactions in MSC | FoilsFoils Powerpoint | |
| 21.09.2004 | Associate professor Lars Kristiansen (Oslo University College) | Characterization of Complexity Classes and Complexity Analysis ofPrograms | No foils | |
| 28.09.2004 | Ingrid Chieh Yu | Using algebraic techniques for rapid construction of the railway model: Oslo Subway | Foils | |
| 05.10.2004 | Anders Moen Hagalisletto | From specification to abstract algebra down to implementation | Foils | |
| 12.10.2004 | Gerardo Schneider (France, INRIA) | A constraint-based algorithm for estimating memory usage on Java cards | No foils | |
| 19.10.2004 | Professor Olaf Owe | Creol - some major achievements | Foils | |
| 26.10.2004 | Associate professor Einar Broch Johnsen | A close look at the run-time machine of Creol | Foils | |
| 02.11.2004 | Fredrik Seehusen | Security preserving transformations | Foils | |
| 09.11.2004 | Atle Refsdal | Probabilistic Transition Systems | Foils | |
| 16.11.2004 | Fredrik Seehusen | Neural networks and Go | Foils | |
| 23.11.2004 | Anders Skolseg Bruvik | Deductive databases | Foils |
Undervisningsplan
Publisert 20. aug. 2004 12:20
- Sist endret 23. nov. 2004 15:39