 |
|
 |
|
Algorithms for the Undecided WS2011/2012
|
|
 |
|
 |
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 |
Contact
Teaching
