Dates for the virtual seminar are listed in the table below (2nd and 4th friday in every month, 13:30-15:00 o'clock). Recordings of the talks can be found here .
| Date | Site | Talk | Remarks |
| 01/09 | Saarbrücken | Reinhard Wilhelm, UdS, Abstract Interpretation with Applications to Timing Validation | Invited talk |
| 10/19 | Saarbrücken | Leonardo de Moura, Microsoft Research, SMT@Microsoft | Invited talk |
| Date | Site | Talk | Remarks |
| 02/22 | Freiburg | Stephan Merz: A Library of Omega-Automata in Isabelle/HOL | Invited talk |
| 05/23 | Saarbrücken | Thomas Rauber, Uni Bayreuth: M-task Programming for Multi-core Systems | Invited talk |
| 06/13 | Oldenburg | Martin Fränzle: Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems | -- |
| 06/20 | Freiburg | Armin Biere, Johannes Kepler University, Linz, Austria: Controlling Restarts | Invited talk |
| 06/27 | Freiburg | Susanne Albers, Uni Freiburg: Energy Efficient Algorithms | Invited talk |
| 10/10 | Oldenburg | Michael R. Hansen, Danmarks Tekniske Universitet: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations | Invited talk |
| 11/25 | Freiburg | Amir Pnueli, NYU, Abstraction Methods for Liveness | Invited talk, Slides available |
| 12/05 | Saarbrücken | Roberto Segala, Universty of Verona, Analysis of Cryptographic Protocols with Probabilistic Automata | Invited talk |
The AVACS Winter School on Distributed Software Development Processes was held Monday to Wednesday, November 24th-26th, 2008 at the Institute of Computer Science in Freiburg.