Please schedule individual meetings with your advisors in the last week of November to present and discuss the alpha version of your slides.
We moved the talks to January 2010.
This seminar is about formal models and verification. This winter we focus on SAT solving, and particular will use chapters from the Handbook of Satisfiability as reading material.
The goal is to help students advance presentation skills and lead them towards being able to read, understand and explain scientific texts.
Each participant will select one of the topics presented at the first meeting and is supposed to give a talk based on the given material at one of the meetings. The students should work through their papers independently but are expected to consult their advisor if problems occur. In addition, we want to discuss both an alpha and a beta version of the slides not later than two respectively one week before the talk.
Active participation during presentations is expected. We also require a written report.
The seminar will start with a general introduction on how to do presentations. Individual feedback will be provided after each talk. The default language of the seminar is English and talks in English are particularly appreciated.