Beschreibung

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

Zeitplan

Datum	Folien
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