Verification of Concurrent Programs SS2012

Grading will be based on:

• Preparation phase
• Writing a summary (4-5 pages)
• Giving a talk, answering questions related to the talk (30 minutes)
• Active participation during (most of) the talks

Presentation

All participants are expected to give a decent lecture. During and after every lecture there will be (a) discussion(s).

Please prepare enjoyable slides! Use a clean layout and font and include appropriate figures. Feel free to use the blackboard or projector e.g. for highlighting important facts or developing examples. In preparing your presentation, you may find useful to know how to give a good research talk .

If you want to use LaTeX for your slides or summary (we encourage you to do so) you can find some useful sources here:

• LaTeX-Introduction in 157 minutes (in english)
• LaTeX-Introduction Fernuni Hagen (in german):
  • LaTeX - eine Einführung und ein bisschen mehr ...
  • LaTeX - Fortgeschrittene Anwendungen
  • Verschlungene Anwendungen (Das X-Team: Xtem XEmacs LaTeX 2e AucTeX)
• LaTeX-package to prepare slides: Beamer

Supervision

Every presentation will be supervised by someone who will always be happy to answer questions and provide guidance on how to give a good presentation. Here are links to our webpagees:

• Corneliu Popeea
• Andrey Rybalchenko
• Alexander Malkis