Oberseminar Formale Methoden

Organizers: Prof. H. Mantel, Prof. H. Veith, Prof. Chr. Walther

Location: Room S2-02 / A126
Time: Tuesday, 16:30-18:00

Datum	Name	Titel
14.04.2009
21.04.2009	Christian Urban - TU München	Verification by Formalisation, Or How Not to be Intimidated by the Variable Convention
28.04.2009	Georg Moser  Universität Insbruck	Complextity Analyses of Term Rewrite Systems
05.05.2009
12.05.2009	Lena Wiese - TU Dortmund	Inference-Proof Database Instance for Controlled Query Evaluation
19.05.2009
20.05.2009 16:00 Uhr, E202	Prof. Tobias Nipkow - TU München	Verifying a Hotel Key Card System
26.05.2009
02.06.2009	Nathan Wasser	Induction Proofs for Second-Order Procedures in VeriFun
09.06.2009	Rosalie Iemhoff Sebastiaan Terwijn	Zwei Vorträge (sh. Abstracts)
16.06.2009	Steffen Lortz	Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten
23.06.2009
30.06.2009
03.07.2009	Dimitrios Vekris, Athen	From higher-order functional to nullary intensional
07.07.2009
14.07.2009
21.07.2009
28.07.2009 - 11:00 Uhr, E 202	Michael Parting , Aachen	Termination Analysis with Dependency Pairs using Inductive Theorem Proving
14.09.2009 - 14:00 Uhr, C110	Prof. P. Madhusudan	Annotations for Race-freedom (part of Informatik Kolloquium)