703861 Automated Theorem Proving in Isabelle/HOL (V)

Wintersemester 2006/2007 | Stand: 08.02.2007 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Clemens Ballarin Univ.-Prof. Dr. Clemens Ballarin
Tjark Weber, MSc Tjark Weber, MSc
703861
Automated Theorem Proving in Isabelle/HOL (V)
VU 4
wöch.
jährlich
Englisch
V-CL, V-QE
Beginn: KW 40
http://cl-informatik.uibk.ac.at/teaching/ws06/atp/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Ballarin C.
Datum Uhrzeit Ort
Do 05.10.2006
 08.30 - 10.00 HS 11 HS 11 Barrierefrei
Do 12.10.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 19.10.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 09.11.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 16.11.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 23.11.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 30.11.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 07.12.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 14.12.2006
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 11.01.2007
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 18.01.2007
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 25.01.2007
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Do 01.02.2007
 08.15 - 10.15 HS 11 HS 11 Barrierefrei Prüfung
Gruppe 1
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Weber T.
Datum Uhrzeit Ort
Mi 11.10.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 18.10.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 25.10.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 01.11.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 08.11.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 15.11.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 22.11.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 29.11.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 06.12.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 13.12.2006
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 10.01.2007
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 17.01.2007
 12.00 - 14.00 rr 19 rr 19 Barrierefrei
Mi 24.01.2007
 12.00 - 14.00 rr 19 rr 19 Barrierefrei