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)
 
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang