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.