703641 Interactive Theorem Proving

winter semester 2016/2017 | Last update: 20.10.2016 Place course on memo list
703641
Interactive Theorem Proving
PS 3
6
weekly
every 2nd year
English

Students who have completed this module are familiar with the verification of specifications. They know first- and higher-order logics and can carry out structured proofs in those logics and verify them in interactive theorem provers.

Deepened understanding of interactive theorem proving through training with established theore m provers; practicing through case studies of programs from different domains; working on a larger verification project

Proseminar

Continuous evaluation

Will be announced in the course

None

not applicable
see dates
Group 0
Date Time Location
Mon 2016-10-03
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-10-10
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-10-17
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-10-24
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-10-31
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-11-07
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-11-14
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-11-21
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-11-28
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-12-05
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2016-12-12
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2017-01-09
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2017-01-16
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2017-01-23
14.15 - 17.00 3W03 3W03 Barrier-free
Mon 2017-01-30
14.15 - 17.00 3W03 3W03 Barrier-free