703640 VO Interactive Theorem Proving

summer semester 2019 | Last update: 29.03.2019 Place course on memo list
Department of Computer Science Department of Computer Science
Dr. Vincent van Oostrom Dr. Vincent van Oostrom
703640
VO Interactive Theorem Proving
VO 2
4
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

Design of an LCF prover; formal proofs; structured proofs and proof scripts; higher-order logic: induction, recursive data structures and recursive functions; automation; termination proofs; correctness of programs

Lectures

Written exam

Announced in the course

None

Begin as announced

http://cl-informatik.uibk.ac.at/teaching/
see dates
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Thu 2019-03-07
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-03-14
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-03-21
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-03-28
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-04-04
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-04-11
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-02
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-09
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-16
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-05-23
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-06-06
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-06-13
 13.15 - 15.00 HS 10 HS 10 Barrier-free
Thu 2019-06-27
 13.15 - 15.00 HS 10 HS 10 Barrier-free