Description

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).

Schedule

date	slides
07.03 (08:15 - 10:00)	pdf (1x1, 4x1)
07.03 (13:15 - 15:00)	pdf (1x1, 4x1)
14.03 no lecture
21.03	pdf (1x1, 4x1)
28.03	pdf (1x1, 4x1)
18.04	pdf (1x1, 4x1)
25.04	pdf (1x1, 4x1)
02.05 (08:15 - 10:00)	pdf (1x1, 4x1)
02.05 (13:00 - 14:45)	pdf (1x1, 4x1)
09.05	pdf (1x1, 4x1)
16.05	pdf (1x1, 4x1)
23.05	pdf (1x1, 4x1)
30.05 no lecture
06.06	pdf (1x1, 4x1)
13.06	pdf (1x1, 4x1)
20.06	pdf (1x1, 4x1)
27.06 exam