Logo Faculty of Informatics  Logo Faculty of Informatics       

Theoretische Informatik und Logik
(Theory and Logic Group)

        Logo E185/2 Theory and Logic Group

Address

Institut für Computersprachen
Technische Universität Wien
Favoritenstraße 9/E1852 (Stiege 2/3.Stock)
A-1040 Wien, Austria
Phone +43-1-58801-18503
Fax +43-1-58801-18597
www.logic.at/e1852.html
sek@logic.at

We are close to station Taubstummengasse of underground U1. See also the city map.

People (see also here)

Function  Name Phone
+43-1-58801-		 Office hours(*) Email
Head of group  Leitsch Alexander 18540 Mo 11:00-12:00  leitsch@logic.at
Secretary  Gusel Franziska 18503 Mo 10:30-12:30
Di 11:00-12:00
Do 11:00-12:00 		 gusel@logic.at
Faculty 
Ciabattoni Agata 18545by appointmentagata@logic.at
Fermüller Christian 18543 Mo 10:00-11:30 chrisf@logic.at
Freund Rudolf 18542 see here rudi@logic.at
Gramlich Bernhard 18544 Mo 10:30-12:30 gramlich@logic.at
Oswald Marion 18542 by appointment marion@logic.at
Salzer Gernot 18541 see here salzer@logic.at
Sisel Tanja 18549 by appointment sisel@logic.at
Technician Schweikert Florian 18548 by appointment kelvan@logic.at
Teaching assistants 
Kausl Matthias 18503by appointmentmatthias.kausl@tuwien.ac.at
Weber Sonja 18503 by appointment sonja@logic.at
Project assistants
& PhD students
Dunchev Tsvetan 18547by appointmentcdunchev@logic.at
Fasching Oliver 18503by appointmentfasching@logic.at
Gmeiner Karl 18547by appointmentgmeiner@logic.at
Jiresch Eugen 18547by appointmentjiresch@logic.at
Libal Tomer 18547 by appointment shaolin@logic.at
Roschger Christoph 18547 by appointment roschger@logic.at
Rukhaia Mikheil 18547 by appointment mrukhaia@logic.at
Sabljakovic-Fritz Vesna 18503 by appointment vesna.sabljakovic-fritz@tuwien.ac.at
Schernhammer Felix 18544 by appointment felixs@logic.at
Slivovsky Friedrich 18503 by appointment fs@logic.at
Weller Daniel 18547 by appointment weller@logic.at
Associate and former members, guest lecturers, students

(*)   Check the individual home pages for cancelled office hours!

Lehre (Teaching)

Forschung (Research)

Events ((co-)organized by our research group)

Valid HTML 4.01! Viewable With Any Browser webmaster@logic.at