| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 28.08.2007 | ? | ? | No lecture? | ? |
| 04.09.2007 | Jasmin Blanchette? | 41151,FP I? | An Open System Operational Semantics for an Object-Oriented and Component-Based Language? | Slides? |
| 11.09.2007 | ? | ? | No lecture? | ? |
| 18.09.2007 | Gerardo Schneider? | 41151,FP I? | Introduction to Hybrid Systems? | Slides? |
| 25.09.2007 | Gerardo Schneider? | 41151,FP I? | Algorithmic Analysis of Polygonal Hybrid Systems? | Slides? |
| 02.10.2007 | ? | 41151,FPI? | No lecture? | ? |
| 09.10.2007 | ? | ? | No lecture? | FLACOS? |
| 16.10.2007 | Cristian Prisacariu? | 41151,FP I? | Current work of Tony Hoare presented at LASER: some flowcharts for concurrency.? | ? |
| 23.10.2007 | Johan Dovland? | 41151,FP I? | Demonstration: A Creol editor in Eclipse? | ? |
| 30.10.2007 | ? | 41151,FP I? | TBA? | ? |
| 06.11.2007 | ? | 41151,FP I? | TBA? | ? |
| 13.11.2007 | ? | 41151,FP I? | TBA? | ? |
| 20.11.2007 | ? | 41151,FP I? | TBA? | ? |
Undervisningsplan
Publisert 26. sep. 2007 00:47
- Sist endret 5. nov. 2007 16:09