Algorithms for the Undecided WS2011/2012

News | Content | Grading | Time schedule | Material

First meeting: 21.07. at 14:15 in room 03.09.014 (overview, assignment of presentation topics, ...)

If you want to participate in the seminar but cannot attend the first meeting, please write an email to schlund@in.tum.de

For literature concerning the specific topics see the literature page and/or ask your advisor.

Date	Speakers	Topic	Advisor
Mon (9.1.) 16:30--18:00, Room 03.09.014	Carlos Camino, Stephan Dangl	Advanced SAT-solving	Christian Kern
Tue (10.1.) 10:00--12:00, Room 00.07.014	Michael Braun, Salomon Sickert	Equality Logic and Uninterpreted Functions	Maximilian Schlund
Wed (11.1.) 14:00--16:00, Room 02.04.011	Jan Erik Müller, Sylvester Tremmel	Linear Arithmetic	Jan Kretinsky
Fri (13.1.) 12:00--14:00, Room 00.13.008	Philipp Hoffmann, Sree Harsh Totakura	Bitvectors, Arrays, Pointer	Andreas Gaiser
Wed (18.1.) 08:30--10:00, Room 03.09.014	Felix Reuß, Manuel Eberl	Real Arithmetic	Michael Luttenberger
Thu (19.1.) 08:30--10:00, Room 03.09.014	Fabian Immler, Ludwig Sigl	Combination of Theories	Javier Esparza