703620 Theory of Decision Procedures

summer semester 2014 | Last update: 13.06.2014 Place course on memo list
Department of Computer Science Department of Computer Science
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703620
Theory of Decision Procedures
VO 2
4
weekly
every 3rd semester
English

Graduates of this course have a good understanding of various decision procedures that are used in automated reasoning.

The course provides an introduction to some of the theories and decision procedures that are used in automated reasoning. The focus will be on satisfiability modulo theories (SMT).

Lecture, assessment is based on a single examination at the end of the course.

Course examination according to § 7, statute section on "study-law regulations"

The lecture slides contain pointers to the literature.

http://cl-informatik.uibk.ac.at/teaching/ss14/dp/
03.03.2014
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Mon 2014-03-03
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-03-10
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-03-17
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-03-24
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-03-31
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-04-07
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-04-28
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-05-05
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-05-12
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-05-19
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-05-26
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-06-02
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-06-16
 09.15 - 11.00 HS 10 HS 10 Barrier-free
Mon 2014-06-23
 09.15 - 11.00 HS 10 HS 10 Barrier-free