| 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