703620 VO Theory of Decision Procedures

summer semester 2018 | Last update: 26.01.2018 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
VO Theory of Decision Procedures
VO 2
4
weekly
every 2nd year
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/ss18/dp
see dates
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Mon 2018-03-05
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-03-12
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-03-19
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-09
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-16
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-23
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-04-30
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-05-07
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-05-14
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-05-28
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-04
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-11
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-18
 08.15 - 10.00 HS 11 HS 11 Barrier-free
Mon 2018-06-25
 08.15 - 10.00 HS 11 HS 11 Barrier-free