703640 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
703640
Interactive Theorem Proving
VO 2
4
weekly
annually
English
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Fri 2013-03-08
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-03-15
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-03-22
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-04-12
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-04-19
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-04-26
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-05-03
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-05-17
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-05-24
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-05-31
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-06-07
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-06-14
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-06-21
 12.15 - 14.00 HS 10 HS 10 Barrier-free
Fri 2013-06-28
 12.15 - 14.00 HS 10 HS 10 Barrier-free