LPAR 2003 Invited speakers

The following people will deliver invited talks at LPAR 2003 (this list will be extended):

    Franz Baader   (TU Dresden)   Automata and Tableaux methods for Description and Modal Logics.

    Serikjan Badaev   (Kazakh State National University)   Computable Numberings.

    Dexter Kozen   (Cornell University)   Kleene Algebras with Test - A General Framework for Static Analysis of Programs.

    Sergei Goncharov   (Novisibirsk State University)   Title to be announced.

    Thomas Wilke   (Christian-Albrechts-Universität zu Kiel)   Minimizing automata on infinite words.