MOVES Seminar 2009
Location of the MOVES Seminar: Seminar Room 4201b.
Usually on: Thursdays, at 11:00
September/October 2009
 Previously
| Next
|
Date: | Who: | About what: |
|---|---|---|
10 Sep 2009 | Larissa Meinecke (Macquarie University, Sydney) | |
10 Sep 2009, 14:00, Seminarraum i7. | Daniel Klink | |
23 Sep 2009, 14:00 AH1 | Dipl. Inform. Stefan Rieger | Verification of Pointer Programs (Informatik-Oberseminar) (Slides) |
24 Sep 2009, 10:00 | Christina Jansen | |
24 Sep 2009, 11:00 | Silvio de Carolis | |
7 Oct 2009, 11:00 | Chitra Hapsari Ayuningtyas | Probabilistic Message Sequence Charts (Talk on her Master-Thesis) |
15 Oct 2009, 17:00 | Marta Kwiatkowska (Oxford University, UK) | On Quantitative Software Verification (Informatik Kolliquium) |
16 Oct 2009, 11:00, AH3 | Tingting Han, MEng | Diagnosis, Synthesis and Analysis of Probabilistic Models (Informatik-Oberseminar) |
22 Oct 2009 | NN | tba |
29 Oct 2009 | NN | tba |
| Previously
| Next
|
Visit also the Informatik-Kolloquium.
Past MOVES Seminars
