 |
|
 |
|
|
Vortragsreihe Grundlagen der Informatik
|
|
|
|
|
 |
|
|
held by: |
Univ.-Prof. Dr. Dr. h.c. Javier Esparza
|
|
|
|
held in: |
SS 2008
|
|
|
|
schedule: |
Thursday, 16:00 - 17:00 (03.11.018)
start date: 2008-04-17 / end date: 2008-07-17
|
|
|
|
| 17.04.2008 |
Dejvuth Suwimonteerabuth |
|
Verification of Multithreaded Java Programs |
| 24.04.2008 |
Neeraj Verma |
|
Horn Clauses modulo XOR |
| 08.05.2008 |
Christian Scheideler |
|
SPREAD: An Adaptive Scheme for Redundant and Fair Storage in Dynamic Heterogeneous Storage Systems |
| 15.05.2008 |
Sylvia Pott |
|
Type-Checking Twoway-MTTs |
| 29.05.2008 |
Sascha Böhme |
|
A Toolchain for Verifying C Programs |
| 05.06.2008 |
Stefan Kiefer / Thomas Gawlitza |
|
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations |
| 12.06.2008 |
Vesal Vojdani |
|
Precise Interprocedural Adress Equalities |
| 19.06.2008 |
Johannes Nowak |
|
Lowest Common Ancestor Algorithms for Dags |
| 26.06.2008 |
Michael Luttenberger |
|
Strategy Iteration using Non-Deterministic Strategies for Solving Parity Games |
| 03.07.2008 |
Tomas Brazdil |
|
Reachability in Recursive Markov Decision Processes |
| 10.07.2008 |
Tobias Nipkow |
|
Social Choice in Higher-Order Logic: Two Impossibility Results |
| 17.07.2008 |
Clemens Ballarin |
|
Locales – a Module System for an Interactive Theorem Prover |
|
|
 |
|
|
 |
Contact
Teaching
