TUTORIAL + TALK by Erich Graedel

From: Helmut Veith (kgs-owner@dbai.tuwien.ac.at)
Date: Sun Dec 08 2002 - 20:14:59 MET

  • Next message: Helmut Veith: "TODAY: G.Gottlob, Monadic Queries over Tree-Structured Data"

    ANNOUNCEMENT: TUTORIAL and TALK by ERICH GRAEDEL,

    Tutorial: Model Checking via Parity Games

    Place: TU Wien, Favoritenstrasse 9-11,
           3rd floor, Seminarraum 184/2 (Gottlob)

    Time: Friday, December 13th: 10:30-12:00
           Friday, December 13th: 13:30-15:00
           Saturday, December 14th: 10:30-12:00

    Contents:

    - model-checking games
    - algorithms for finite games
    - parity games and fixed point logics
    - determinacy via positional strategies
    - algorithms for parity games
    - complexity of model checking problems

    TALK by ERICH GRAEDEL -- INFORMATIK-KOLLOQUIUM:

    Date: Monday December 16th, 17:00 (s.t.)

    Place: Zemanek Hoersaal,ground floor,
           Favoritenstrasse 9, A-1040 Wien.

    Title: Finite and Infinite Games

    Abstract: Infinite two-player games, a classical theme in mathematical
    logic, appear nowadays in manay areas of computer science. They model in a
    natural way the non-terminating interaction of a reactive system with its
    environment: the specification of a reactive system can be seen as a
    winning condition in a game, and a reactive program that fulfills the
    specification implements a winning strategy. Infinite games also arise as
    model-checking games for fixed-point logics.

    The central algorithmic questions are the computation of winning regions
    and the construction of winning strategies. These problems are solvable in
    linear time for finite games. However, for many important classes of
    infinite games (most notably for parity games) it is currently open
    whether winning strategies can be constructed efficiently.

    Professor Graedel can be contacted at:
              graedel@informatik.rwth-aachen.de



    This archive was generated by hypermail 2b30 : Sun Dec 08 2002 - 20:17:23 MET