703604 Formal Specification and Verification UE (3 Gruppen)

Wintersemester 2006/2007 | Stand: 30.01.2007 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Dr. Stefanus Blom Dr. Stefanus Blom
Dr. Joanna Chimiak-Opoka Dr. Joanna Chimiak-Opoka, +43 512 507 39752
703604
Formal Specification and Verification UE (3 Gruppen)
UE 1
wöch.
jährlich
Englisch
Beginn: KW 40
http://qe-informatik.uibk.ac.at/index.php?option=content&task=view&id=209&Itemid=160
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Chimiak-Opoka J.
Datum Uhrzeit Ort
Mo 16.10.2006
 12.00 - 14.00 rr 21 rr 21 Barrierefrei
Mo 23.10.2006
 12.00 - 14.00 rr 21 rr 21 Barrierefrei
Mo 06.11.2006
 12.00 - 14.00 rr 21 rr 21 Barrierefrei
Mo 20.11.2006
 12.00 - 14.00 rr 21 rr 21 Barrierefrei
Mo 04.12.2006
 12.00 - 14.00 rr 21 rr 21 Barrierefrei
Mo 08.01.2007
 12.00 - 14.00 rr 21 rr 21 Barrierefrei
Mo 22.01.2007
 12.00 - 14.00 rr 21 rr 21 Barrierefrei
Gruppe 2
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Chimiak-Opoka J.
Datum Uhrzeit Ort
Mo 16.10.2006
 14.00 - 16.00 rr 21 rr 21 Barrierefrei
Mo 23.10.2006
 14.00 - 16.00 rr 21 rr 21 Barrierefrei
Mo 06.11.2006
 14.00 - 16.00 rr 21 rr 21 Barrierefrei
Mo 20.11.2006
 14.00 - 16.00 rr 21 rr 21 Barrierefrei
Mo 04.12.2006
 14.00 - 16.00 rr 21 rr 21 Barrierefrei
Mo 08.01.2007
 14.00 - 16.00 rr 21 rr 21 Barrierefrei
Mo 22.01.2007
 14.00 - 16.00 rr 21 rr 21 Barrierefrei
Gruppe 3
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Blom S.
Datum Uhrzeit Ort
Mo 16.10.2006
 12.00 - 14.00 rr 20 rr 20 Barrierefrei
Mo 23.10.2006
 12.00 - 14.00 rr 20 rr 20 Barrierefrei
Mo 06.11.2006
 12.00 - 14.00 rr 20 rr 20 Barrierefrei
Mo 20.11.2006
 12.00 - 14.00 rr 20 rr 20 Barrierefrei
Mo 04.12.2006
 12.00 - 14.00 rr 20 rr 20 Barrierefrei
Mo 08.01.2007
 12.00 - 14.00 rr 20 rr 20 Barrierefrei
Mo 22.01.2007
 12.00 - 14.00 rr 20 rr 20 Barrierefrei