I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
News archive

news item
2016-03-16

EATCS award nominees

Two papers from our chair were nominated for the EATCS award at ETAPS 2016:

  • Faster Statistical Model Checking for Unbounded Temporal Properties by Przemysław Daca, Thomas Henzinger, Jan Křetínský and Tatjana Petrov.
  • Reduction Rules for Colored Workflow Nets by Philipp Hoffmann and Javier Esparza.
2016-03-16

Prof. Helmut Veith

We mourn the loss of Helmut Veith, who unexpectedly passed away on March 12. He was professor at our Chair from 2003 to 2007. After a short period at TU-Darmstadt, in 2010 he returned to TU-Wien, his alma mater, as Professor for Formal Methods in Software Engineering.

Prof. Veith was a brilliant researcher and team leader, and had a unique gift for the divulgation of science. He will be missed and remembered. Our thoughts are with his family.

Obituaries remembering Helmut.

2015-02-12

New paper: Convergence of Newton's Method over Commutative Semirings

by M. Luttenberger and M. Schlund

2015-02-12

New paper: Convergence of Newton's Method over Commutative Semirings

by a href="https://www7.in.tum.de/~luttenbe/">M. Luttenberger/a> and M. Schlund

2015-02-12

New paper: Convergence of Newton's Method over Commutative Semirings

by a href="https://www7.in.tum.de/~luttenbe/">M. Luttenberger/a> and a href="http://www.model.in.tum.de

2014-11-24

New paper: Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Comple

by Georg Bachmeier and Michael Luttenberger and Maximilian Schlund

2014-11-24

New paper: Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Comple

by Georg Bachmeier and a href="https://www7.in.tum.de/~luttenbe/">Michael Luttenberger/a> and Maximilia

2014-11-24

New paper: Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Comple

by Georg Bachmeier and a href="https://www7.in.tum.de/~luttenbe/">Michael Luttenberger/a> and a href="h

2014-11-04

HVC Award for Chair Members

We proudly announce that the award committee of the Haifa Verification conference has decided to give this year’s award to Andrey Rybalchenko, Corneliu Popeea, Nuno Lopes, and Sergey Grebenshchikov for their PLDI’12 paper called "Synthesizing Software Verifiers from Proof Rules".

More details can be found on the HVC 2014 website.

2014-05-16

New paper: Regular Expressions for Provenance

by M. Schlund and M. Luttenberger

2014-05-16

New paper: Regular Expressions for Provenance

by M. Schlund and a href="https://www7.in.tum.de/~luttenbe/">M. Luttenberger/a>

2014-05-16

New paper: Regular Expressions for Provenance

by a href="http://www.model.in.tum.de/~schlund/">M. Schlund/a> and a href="https://www7.in.tum.de/~lutt

2014-03-03

New paper: Fast and Accurate Unlexicalized Parsing via Structural Annotations

by M. Schlund and M. Luttenberger and J. Esparza

2014-03-03

New paper: Fast and Accurate Unlexicalized Parsing via Structural Annotations

by M. Schlund and a href="https://www7.in.tum.de/~luttenbe/">M. Luttenberger/a> and J. Esparza

2014-03-03

New paper: Fast and Accurate Unlexicalized Parsing via Structural Annotations

by a href="http://www.model.in.tum.de/~schlund/">M. Schlund/a> and a href="https://www7.in.tum.de/~lutt

2013-10-26

New paper: Message Passing Algorithms for the Verification of Distributed Protocols

by Loig Jezequel and Javier Esparza

2013-10-15

Welcome Dr. Christopher Broadbent (Humboldt fellow)!

Statement by Christopher: "I have recently started a postdoctoral fellowship funded by the Alexander von Humboldt Stiftung. The principle focus during this time will be to develop a model-checker for safety properties of programs featuring higher-order recursion. This will build on previous work on model-checking higher-order recursion schemes (essentially simply typed lambda-Y terms) and the equivalent collapsible pushdown automata (a generalisation of PDA). In particular we plan to further develop the saturation technique, which has recently shown much promise for these models (joint work with Carayol, Hague and Serre ICFP 2013, and Kobayashi CSL 2013), to both improve scalability as well as to directly handle extensions of these models with features such as recursive types."

2013-10-15

New paper: Putting Newton into Practice: A Solver for Polynomial Equations over Semirings

by M. Schlund and M. Terepeta and M. Luttenberger

2013-10-15

New paper: Putting Newton into Practice: A Solver for Polynomial Equations over Semirings

by M. Schlund and M. Terepeta and a href="https://www7.in.tum.de/~luttenbe/">M. Luttenberger/a>

2013-10-15

New paper: Putting Newton into Practice: A Solver for Polynomial Equations over Semirings

by a href="http://www.model.in.tum.de/~schlund/">M. Schlund/a> and M. Terepeta and a href="https://www7

2013-06-06

Four papers accepted at CONCUR

Four papers authored at our chair were accepted at the prestigious conference of 24th International Conference on Concurrency Theory (CONCUR). The papers are:

  • Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory by Nikola Benes, Benoit Delahaye, Uli Fahrenberg, Jan Kretinsky and Axel Legay
  • On Negotiation as Concurrency Primitive by Javier Esparza and Jorg Desel
  • An Epistemic Perspective on Consistency of Concurrent Computations by Klaus von Gleissenthall and Andrey Rybalchenko
  • Compositional Verification and Optimization of Interactive Markov Chains by Holger Hermanns, Jan Krcal and Jan Kretinsky

2013-03-25

New paper: A Concept for Generating Simplified RESTful Interfaces

by Markus Gulden and Stefan Kugele

2013-03-25

New paper: A Concept for Generating Simplified RESTful Interfaces

by Markus Gulden and a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a>

2013-03-07

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:

2012-09-26

New paper: A Configuration Approach for IMA Systems

by Visar Januzaj and Stefan Kugele and Florian Biechele and Ralf Mauersberger

2012-09-26

New paper: A Configuration Approach for IMA Systems

by Visar Januzaj and a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a> and Florian Biechele and R

2012-06-20

New paper: Rabinizer: Small Deterministic Automata for LTL(F,G)

by Javier Esparza and Andreas Gaiser and Jan Kretinsky

2012-06-20

New paper: Rabinizer: Small Deterministic Automata for LTL(F,G)

by Javier Esparza and a href="http://www.model.in.tum.de/people/detail/index.php?id=people.detail&arg=1

2012-02-06

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!

2011-10-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.



2011-04-04

New paper: Seamless Testing for Models and Code

by Andreas Holzer and Visar Januzaj and Stefan Kugele and Boris Langer and Christian Schallhart and M

2011-04-04

New paper: Seamless Testing for Models and Code

by a href="http://www.model.in.tum.de/~holzera/">Andreas Holzer/a> and Visar Januzaj and a href="http:/

2010-11-04

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.

2010-10-24

New paper: Seamless Model-Driven Development Put into Practice

by Wolfgang Haberl and Markus Herrmannsdoerfer and Stefan Kugele and Michael Tautschnig and Martin We

2010-10-24

New paper: Timely Time Estimates

by Andreas Holzer and Visar Januzaj and Stefan Kugele and Michael Tautschnig

2010-10-24

New paper: Seamless Model-Driven Development Put into Practice

by Wolfgang Haberl and Markus Herrmannsdoerfer and a href="http://www7.in.tum.de/~kugele">Stefan Kugele

2010-10-24

New paper: Timely Time Estimates

by a href="http://www.model.in.tum.de/~holzera/">Andreas Holzer/a> and Visar Januzaj and a href="http:/

2010-09-07

Software verification researcher Andrey Rybalchenko ranks among the world's top young innovators.

Read the full Article

2010-07-14

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

2010-04-07

New paper: Model-Based Generation of Fault-Tolerant Embedded Systems

by Wolfgang Haberl and Stefan Kugele and Uwe Baumgarten

2010-04-07

New paper: Model-Based Generation of Fault-Tolerant Embedded Systems

by Wolfgang Haberl and a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a> and Uwe Baumgarten

2010-03-28

New paper: Computing the Least Fixed Point of Positive Polynomial Systems

by Javier Esparza and Stefan Kiefer and Michael Luttenberger

2010-03-28

New paper: Computing the Least Fixed Point of Positive Polynomial Systems

by Javier Esparza and a href="http://www.model.in.tum.de/people/kiefer ">Stefan Kiefer/a> and a href="h

2009-12-17

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

2009-11-04

New paper: Slope Testing for Activity Diagrams and Safety Critical Software

by Andreas Holzer and Visar Januzaj and Stefan Kugele and Christian Schallhart and Michael Tautschnig

2009-11-04

New paper: Slope Testing for Activity Diagrams and Safety Critical Software

by a href="http://www.model.in.tum.de/~holzera/">Andreas Holzer/a> and Visar Januzaj and a href="http:/

2009-10-22

New paper: Solving Systems of Positive Polynomial Equations

by Stefan Kiefer

2009-10-22

New paper: Solving Systems of Positive Polynomial Equations

by a href="http://www.model.in.tum.de/people/kiefer ">Stefan Kiefer/a>

2009-10-21

New paper: Comparison of Algorithms for Checking Emptiness on Büchi Automata

by Andreas Gaiser and Stefan Schwoon

2009-10-21

New paper: Comparison of Algorithms for Checking Emptiness on Büchi Automata

by a href="http://www.model.in.tum.de/people/detail/index.php?id=people.detail&arg=126">Andreas Gaiser/

2009-10-05

New paper: On the Memory Consumption of Probabilistic Pushdown Automata

by Tomáš Brázdil and Javier Esparza and Stefan Kiefer

2009-10-05

New paper: On the Memory Consumption of Probabilistic Pushdown Automata

by Tomáš Brázdil and Javier Esparza and a href="http://www.model.in.tum.de/people/kiefer

2009-09-23

New master thesis topic available: Model-based Security Engineering for SOA (Siemens AG)

2009-06-16

New paper: Towards Resource Consumption-aware Programming

by Andreas Holzer and Visar Januzaj and Stefan Kugele

2009-06-16

New paper: Towards Resource Consumption-aware Programming

by a href="http://www.model.in.tum.de/~holzera/">Andreas Holzer/a> and Visar Januzaj and a href="http:/

2009-05-14

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.

2009-04-30

New paper: Reliable Operating Modes for Distributed Embedded Systems

by Wolfgang Haberl and Stefan Kugele and Uwe Baumgarten

2009-04-30

New paper: Model Analysis via a Translation Schema to Coloured Petri Nets

by Visar Januzaj and Stefan Kugele

2009-04-30

New paper: Model Analysis via a Translation Schema to Coloured Petri Nets

by Visar Januzaj and a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a>

2009-04-30

New paper: Reliable Operating Modes for Distributed Embedded Systems

by Wolfgang Haberl and a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a> and Uwe Baumgarten

2008-09-17

New paper: Optimizing Automatic Deployment Using Non-functional Requirement Annotations

by Stefan Kugele and Wolfgang Haberl and Michael Tautschnig and Martin Wechs

2008-09-17

New paper: Optimizing Automatic Deployment Using Non-functional Requirement Annotations

by a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a> and Wolfgang Haberl and a href="http://www.m

2008-09-16

New paper: Mapping Data-Flow Dependencies onto Distributed Embedded Systems

by Stefan Kugele and Wolfgang Haberl

2008-09-16

New paper: Mapping Data-Flow Dependencies onto Distributed Embedded Systems

by a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a> and Wolfgang Haberl

2008-09-15

New paper: Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation an

by Zhonglei Wang and Wolfgang Haberl and Stefan Kugele and Michael Tautschnig

2008-09-15

New paper: Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation an

by Zhonglei Wang and Wolfgang Haberl and a href="http://www7.in.tum.de/~kugele">Stefan Kugele/a> and a

2008-08-01

New paper: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems

by Javier Esparza and Stefan Kiefer and Stefan Schwoon

2008-08-01

New paper: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems

by Javier Esparza and a href="http://www.model.in.tum.de/people/kiefer ">Stefan Kiefer/a> and a href="h

2008-08-01

New paper: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems

by Javier Esparza and a href="http://www.model.in.tum.de/people/kiefer ">Stefan Kiefer/a> and Stefan Sc

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-28

New paper: Symbolic Context-Bounded Analysis of Multithreaded Java Programs

by a href="http://www7.in.tum.de/~suwimont/">Dejvuth Suwimonteerabuth/a> and Javier Esparza and a href=

2008-05-28

New paper: Symbolic Context-Bounded Analysis of Multithreaded Java Programs

by a href="http://www7.in.tum.de/~suwimont/">Dejvuth Suwimonteerabuth/a> and Javier Esparza and Stefan

2008-05-16

New paper: A Statistical Relational Model for Trust Learning

by Achim Rettinger and Matthias Nickles and Volker Tresp

2008-05-16

New paper: A Statistical Relational Model for Trust Learning

by a href="http://www7.in.tum.de/~rettinge">Achim Rettinger/a> and a href="http://www7.in.tum.de/~nickl

2008-05-15

Talk: Type-Checking Twoway Tree Transducers

Vortragsreihe Grundlagen der Informatik

2008-05-08

Talk: SPREAD: An Adaptive Scheme for Redundant and Fair Storage in Dynamic Heterogeneous Storage Systems

Vortragsreihe Grundlagen der Informatik

2008-05-02

New paper: Newton's Method for omega-Continuous Semirings

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 a href="http://www.model.in.tum.de/people/kiefer ">Stefan Kiefer/a> and a href="h

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-04-09

New paper: McMillan's complete prefix for contextual nets

by Paolo Baldan and Andrea Corradini and Barbara König and a href="http://www7.in.tum.de/~schwoon"

2008-01-31

Talk: Extensions of Newton's Method to Semirings

Vortragsreihe Grundlagen der Informatik

2008-01-24

Talk: Crash Games

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-15

New paper: SDSIrep: A Reputation System based on SDSI

by Ahmed Bouajjani and Javier Esparza and a href="http://www7.in.tum.de/~schwoon">Stefan Schwoon/a> and

2008-01-15

New paper: SDSIrep: A Reputation System based on SDSI

by Ahmed Bouajjani and Javier Esparza and Stefan Schwoon and a href="http://www7.in.tum.de/~suwimont/">

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-14

New paper: Running COLA on Embedded Systems

by Wolfgang Haberl and a href="http://www.model.in.tum.de/~tautschn/">Michael Tautschnig/a> and Uwe Bau

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

Talk: Nominal Techniques

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-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 a href="http://www.model.in.tum.de/~

2007-10-18

Talk: Algorithms for the Coalitional Manipulation Problem

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-07-10

New paper: jMoped: A Test Environment for Java programs

by a href="http://www7.in.tum.de/~suwimont/">Dejvuth Suwimonteerabuth/a> and Felix Berger and a href="h

2007-07-10

New paper: jMoped: A Test Environment for Java programs

by a href="http://www7.in.tum.de/~suwimont/">Dejvuth Suwimonteerabuth/a> and Felix Berger and Stefan Sc

2007-06-21

Welcome to the new web site!

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-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: Compatibility and reuse in component-based systems via type and unit inference

by Christian Kühnel and Andreas Bauer and a href="http://www.model.in.tum.de/~tautschn/">Michael T

2007-06-20

New paper: McMillan's complete prefix for contextual nets

by Paolo Baldan and Andrea Corradini and Barbara König and a href="http://www7.in.tum.de/~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

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

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

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.