703641 Interactive Theorem Proving

summer semester 2013 | Last update: 16.07.2013 Place course on memo list
Department of Computer Science Department of Computer Science
Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
703641
Interactive Theorem Proving
PS 3
6
weekly
annually
English
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Thu 2013-03-14
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-03-21
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-04-11
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-04-18
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-04-25
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-05-02
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-05-16
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-05-23
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-06-06
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-06-13
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-06-20
 08.15 - 11.00 rr 20 rr 20 Barrier-free
Thu 2013-06-27
 08.15 - 11.00 rr 20 rr 20 Barrier-free