TUM - Chair VII - Theoretical Computer Science and Foundations of Artificial Intelligence

news items
posted: 2013-03-07 11:06:04	Four papers accepted at CAV Four papers authored at our chair were accepted at the prestigious conference of Computer Aided Verification (CAV). The papers are: Solving Existentially Quantified Horn Clauses by Tewodros Beyene, Corneliu Popeea and Andrey Rybalchenko Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis by Krishnendu Chatterjee, Andreas Gaiser and Jan Kretinsky A Fully Verified Executable LTL Model Checker by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus Parameterized Verification of Asynchronous Shared-Memory Systems by Pierre Ganty, Javier Esparza and Rupak Majumdar
posted: 2012-02-06 14:26:28	New: Research Seminar Members of the chair will give talks about their current work in an informal environment. Everybody who wants to know what people are doing at this chair is invited to attend! To get more information click here.
posted: 2011-10-26 11:56:26	Tag der offenen Tür: Finite State Adventures Programm für Kinder von Rene Neumann und Maximilian Schlund nach dem Paper: The Theory of Finite State Adventures. Am 15. Oktober waren wir vom Lehrstuhl I7 mit einem Spiel für Kinder auf dem Tag der offenen Tür präsent. Das Ziel des Spieles ist es einen Pfad durch das Spielfeld (=Automat) zu finden und dabei bestimmte Spielregeln zu beachten: An den Pfad war die Bedingung geknüpft, dass man an mindestens zwei verschiedenen Schatztruhen vorbeikommen muss. Ferner benötigt man einen Schlüssel um durch Türen zu kommen oder ein Schwert um den Drachen zu besiegen. Das Projekt kam bei den Kindern und den Eltern sehr gut an und zeigte, dass man auch Theoretische Informatik spielerisch vermitteln kann.
posted: 2010-11-04 11:27:39	JACM Publication: Newtonian program analysis The paper newtonian program analysis with the authors Javier Esparza, Stefan Kiefer and Michael Luttenberger has been published in JACM, Volume 57, Issue 6, October 2010.
posted: 2010-09-07 10:05:20	Software verification researcher Andrey Rybalchenko ranks among the world's top young innovators. Read the full Article
posted: 2010-07-14 15:04:00	Lego Mindstorms NXT Lab Course/SS10: Some places still available for August/September 2010! Lego Mindstorms NXT Lab Course Contact: Lego Tutors Email: lego@lists.model.in.tum.de Web: http://www.model.in.tum.de/um/courses/praktika/lego/SS10
posted: 2009-12-17 14:12:41	HiWi Wanted: Building next generation software productivity tools Project: Building next generation software productivity tools Skills: Experience with C/OCaml/Prolog or related Math/logic background Analytical yet practical approach Contract: Up to 20 hrs/week Start in January 2010 Contact: Prof. Andrey Rybalchenko Email: rybal@model.in.tum.de Web: http://www7.in.tum.de/~rybal
posted: 2009-09-23 14:26:28	New master thesis topic available: Model-based Security Engineering for SOA (Siemens AG) To get more information click here.
posted: 2009-05-14 11:37:01	Beth Prize: Tomas Brazdil has been awarded the E.W. Beth Dissertation Prize Tomas Brazdil has been awarded the E.W. Beth Dissertation Prize for the thesis 'Verification of Probabilistic Recursive Sequential Programs'. The E. W. Beth Dissertation Prize is awarded by FoLLI (the Association of Logic, Language, and Information) to outstanding dissertations in the fields of Logic, Language, and Information.
posted: 2008-01-14 16:00:01	Vorbesprechungstermin "Kryptographische Protokolle" am 29. Januar 2008 To get more information click here.
posted: 2007-11-07 16:20:37	Talk Slides about the Convergence of Newton's Method are online here. Talk Slides about the Convergence of Newton's Method are online here. To get more information click here.
posted: 2007-06-21 11:51:43	Welcome to the new web site!
posted: 2007-03-14 13:09:55	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).
posted: 2006-12-15 11:05:37	FESTKOLLOQUIUM Festkolloquium anlässlich der Emeritierung von Prof. Dr. Dr. h.c. mult. Wilfried Brauer Institut für Informatik, TU München Zeit und Ort: Freitag, den 10. Februar 2006 Hörsaal 1 Institut für Informatik,TU München Boltzmannstr. 3, 85748 Garching Programm To get more information click here.
posted: 2005-12-07 15:42:30	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 To get more information click here.
posted: 2005-10-27 10:34:08	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!
posted: 2005-05-23 11:39:12	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. To get more information click here.
posted: 2005-03-05 13:55:53	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. To get more information click here.
posted: 2005-03-05 13:53:50	Course Automaten, Formale Sprachen und Berechenbarkeit The date and time for the final exam for the above mentioned course is now online. To get more information click here.
posted: 2005-01-03 17:26:34	New Website of the AI/Cognition Group The new website of the AI/Cognition Group is up. To get more information click here.
posted: 2004-12-10 09:44:30	New Website online Our new redesigned website is up as of Nov 26. We are entering new information daily, so please check the website regularly. To get more information click here.
posted: 2004-12-10 09:42:39	Praktikum Game Playing The WWW-page for the training course "Game Playing" is now online. To get more information click here.