| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 01.02.2005 | Anders Moen Hagalisletto Olaf Owe | Opening of DBSEM | NB: Obligatorisk oppmøte for de som ønsker vekttall for DBSEM. For alle andre, møtt opp! | |
| 08.02.2005 | Andrei Sabelfeld (Chalmers University of Technology, Sweden) | Language-Based Concepts and Techniques for Information Security | ||
| 15.02.2005 | Mass Soldal Lund | Operational semantics for UML sequence diagrams | ||
| 23.02.2005 | Martin Steffen | Buerommet | Observability for class-based OO languages | NB: Wednesday 11:15 - 12:00 |
| 23.02.2005 | Marcel Kyas | Seminar rom 3 B | Compositional Specification and Verification of UML Models | NB: The same wednesday 13:15 - 14:00 |
| 01.03.2005 | Anders Moen Hagalisletto | Constructing, maintaining and refining large scale railroad models using Petri Nets - Part I | ||
| 08.03.2005 | Anders Moen Hagalisletto | Constructing, maintaining and refining large scale railroad models using Petri Nets - Part II | ||
| 15.03.2005 | Gyrd Brændeland | Introduction to the Temporal Logic of Actions | Foils | |
| 22.03.2005 | No lecture - Easter (Påske) | |||
| 29.03.2005 | No lecture - Easter (Påske) | |||
| 05.04.2005 | Anders Moen Hagalisletto | Protocol Algebra | Foils | |
| 12.04.2005 | Kristian Syversen | Digital Rights Management | Foils | |
| 19.04.2005 | Erling Holmqvist | Theory and praxis for monadic programming in Haskell | Foils | |
| 26.04.2005 | Ragnhild Kobro Runde | LSC - Live Sequence Charts | Foils | |
| 03.05.2005 | Arild Torjusen | A Channel-based Coordination Model for Component Composition | Foils | |
| 10.05.2005 | Junjie Cao | Using Encryption for Authentication in Large Networks of Computers | Foils | |
| 24.05.2005 | Anders Moen Hagalisletto | Category Theory for Computer Science (Introduction) | Foils | |
| 31.05.2005 | -- | The lecture this week is cancelled | ||
| 07.06.2005 | Henrik Berg | Topics from the PhD |
Undervisningsplan
Publisert 5. jan. 2005 13:22
- Sist endret 8. juni 2005 11:19