Algorithms for the (decidedly) Undecided WS2013/2014

News | Content | Grading | Time schedule | Material

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

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

Please provide a wish-list of three topics in your email and please also state your motivation to take part in the seminar and your previous knowledge that is relevant for the seminar (i.e. theoretical courses).
Distribution of topics will be done by the end of July.

The seminar will take place on four days in January (over a course of two weeks). We will do a survey to choose the best days.

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

Currently planned topics:

Date	Room	Speakers	Topic	Advisor
16.01.2014, 1215--1345	02.09.023	Simon Wimmer, Stefan Dirix	Equality Logic and Uninterpreted Functions	Maximilian Schlund
17.01.2014, 1615--1745	02.09.023	Gramoz Goranci, David Becher	Linear Arithmetic and Applications	Antoine Durand-Gasselin
23.01.2014, 1215--1300	02.09.023	Raphael Dümig	Bitvectors + Arrays	Loïg Jezequel
23.01.2014, 1300--1345	02.09.023	Philipp Krueger	Pointers	Loïg Jezequel
24.01.2014, 1215--1300	02.09.023	Ardo Septama	Combination of Theories	Antoine Durand-Gasselin