![]() |
![]() |
|
| News archive | ||
![]() |
![]() |
![]() |
![]() |
|
| news item |
![]() |
|||
| 2008-08-01 | New paper: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems by Javier Esparza and Stefan Kiefer and Stefan Schwoon |
||
| 2008-07-17 | Talk: Locales -- a Module System for an Interactive Theorem Prover Vortragsreihe Grundlagen der Informatik |
||
| 2008-07-10 | Talk: A Bit of Social Choice Theory in HOL: Arrow and Gibbard-Satterthwaite Vortragsreihe Grundlagen der Informatik |
||
| 2008-07-03 | Talk: Reachability in Recursive Markov Decision Processes Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-26 | Talk: Strategy Iteration using Non-Deterministic Strategies for Solving Parity Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-19 | Talk: Lowest Common Ancestor Algorithms for Dags Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-12 | Talk: Cryptographic protocols with single blind copying and an XOR operator Vortragsreihe Grundlagen der Informatik |
||
| 2008-06-05 | Talk: Approximative methods for monotone systems of min-max-polynomial Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-29 | Talk: A Toolchain for Verifying C Programs Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-28 | New paper: Symbolic Context-Bounded Analysis of Multithreaded Java Programs by Dejvuth Suwimonteerabuth and Javier Esparza and Stefan Schwoon |
||
| 2008-05-16 | New paper: A Statistical Relational Model for Trust Learning by Achim Rettinger and Matthias Nickles and Volker Tresp |
||
| 2008-05-15 | Talk: Type-Checking Twoway Tree Transducers Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-08 | Vortragsreihe Grundlagen der Informatik |
||
| 2008-05-02 | New paper: Solving Monotone Polynomial Equations by Javier Esparza and Stefan Kiefer and Michael Luttenberger |
||
| 2008-05-02 | New paper: Newton's Method for omega-Continuous Semirings by Javier Esparza and Stefan Kiefer and Michael Luttenberger |
||
| 2008-04-28 | New paper: Approximative Methods for Monotone Systems of min-max-Polynomial Equations by Javier Esparza and Thomas Gawlitza and Stefan Kiefer and Helmut Seidl |
||
| 2008-04-24 | Talk: An abstract domain for reasoning about field access and array indexing Vortragsreihe Grundlagen der Informatik |
||
| 2008-04-17 | Talk: Verification of Multithreaded Java Programs Vortragsreihe Grundlagen der Informatik |
||
| 2008-04-09 | New paper: McMillan's complete prefix for contextual nets by Paolo Baldan and Andrea Corradini and Barbara König and Stefan Schwoon |
||
| 2008-01-31 | Talk: Extensions of Newton's Method to Semirings Vortragsreihe Grundlagen der Informatik |
||
| 2008-01-24 | Vortragsreihe Grundlagen der Informatik |
||
| 2008-01-15 | New paper: SDSIrep: A Reputation System based on SDSI by Ahmed Bouajjani and Javier Esparza and Stefan Schwoon and Dejvuth Suwimonteerabuth |
||
| 2008-01-14 | Vorbesprechungstermin "Kryptographische Protokolle" am 29. Januar 2008 |
||
| 2008-01-14 | New paper: Running COLA on Embedded Systems by Wolfgang Haberl and Michael Tautschnig and Uwe Baumgarten |
||
| 2008-01-10 | Talk: Static Analysis of Dynamic Communication Systems by Partner Abstraction Vortragsreihe Grundlagen der Informatik |
||
| 2007-12-20 | Talk: Upper Adjoints for Fast Inter-procedural Variable Equalities Vortragsreihe Grundlagen der Informatik |
||
| 2007-12-13 | Talk: A DoS-Resistant Distributed Information System Vortragsreihe Grundlagen der Informatik |
||
| 2007-12-06 | Talk: Compatibility and Reuse in Component-Based Systems via Type and Unit Inference |
||
| 2007-11-29 | Talk: Sequential Vector Packing Vortragsreihe Grundlagen der Informatik |
||
| 2007-11-22 | Vortragsreihe Grundlagen der Informatik |
||
| 2007-11-15 | Talk: Algorithmics of Security Infrastructures Vortragsreihe Grundlagen der Informatik |
||
| 2007-11-08 | Talk: Simple Proof-Procedures for Arithmetics in Isabelle/HOL |
||
| 2007-11-07 | Talk Slides about the Convergence of Newton's Method are online here. Talk Slides about the Convergence of Newton's Method are online here. |
||
| 2007-11-07 | New paper: Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers by Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig |
||
| 2007-10-18 | |||
| 2007-07-10 | New paper: jMoped: A Test Environment for Java programs by Dejvuth Suwimonteerabuth and Felix Berger and Stefan Schwoon and Javier Esparza |
||
| 2007-06-21 | Welcome to the new web site! |
||
| 2007-06-20 | New paper: Compatibility and reuse in component-based systems via type and unit inference by Christian Kühnel and Andreas Bauer and Michael Tautschnig |
||
| 2007-06-20 | New paper: McMillan's complete prefix for contextual nets by Paolo Baldan and Andrea Corradini and Barbara König and Stefan Schwoon |
||
| 2007-03-14 | Tutoren gesucht Wir suchen Tutoren für Diskrete Wahrscheinlichkeitstheorie (ehemals DS II). Bei Interesse melden Sie sich bitte bei Markus Holzer (holzer@in.tum.de). |
||
| 2006-12-15 |
Festkolloquium anlässlich der Emeritierung
Zeit und Ort:
|
||
| 2006-06-20 | Talk: Illumination Ontology based Classifier Fusion for Robust Face Recognition 20.06.2006, 10:00 Uhr, Raum: 03.09.014 |
||
| 2005-12-07 | Münchner Model Checking Tag 2005 On Friday 9.12.2005 we organize a "model checking day" (held at the LMU, Theresienstr. 39, Raum 252); the program is available online at http://www.pst.ifi.lmu.de/~hammer/mct05.html |
||
| 2005-10-27 | Johannes Kinder receives Edison Prize of the General Electric Foundation Johannes Kinder was awarded the Silver Edison Prize of the General Electric Foundation for his work on semantic detection methods for computer viruses and worms. Congratulations! |
||
| 2005-05-23 | Stelle für wissenschaftliche/n Mitarbeiter/in (BATIIa) In der Forschungsgruppe KI/Kognition ist ab sofort eine Stelle für eine/n wissenschaftliche/n Mitarbeiter/in (BATIIa) zu besetzen. Der Schwerpunkt dieser Stelle, die zunächst auf 2 Jahre befristet ist und die Möglichkeit zur Promotion bietet, liegt auf der Realisierung von "digitalen" Verkaufsstrategien für Software-Agenten. |
||
| 2005-03-05 | IFIP CMS & Summer School on Multimedia Security Together with the University Salzburg and the University Magdeburg we organize the IFIP Conference CMS and a summer school in Salzburg. |
||
| 2005-03-05 | Course Automaten, Formale Sprachen und Berechenbarkeit The date and time for the final exam for the above mentioned course is now online. |
||
| 2005-01-03 | New Website of the AI/Cognition Group The new website of the AI/Cognition Group is up. |
||
| 2004-12-10 | Our new redesigned website is up as of Nov 26. We are entering new information daily, so please check the website regularly. |
||
| 2004-12-10 | The WWW-page for the training course "Game Playing" is now online. |
||
![]() |
![]() |





Contact







