Computational Logic at TU Wien - General Information for Students

Here you can find:

Other links:

What, where, who?

• Visa, housing, enrolling: International Office (Ausseninstitut) Contact person: Susana Saez Garcia .
  See the information for incoming students


• Certificates, examination records: Department for Studies and Examinations (Studien und Prüungsabteilung)


• Graduation: Dekanatszentrum Contact person: Marion Breitenfelder
  


• Study plan, modules, major problems, complaints: Alexander Leitsch


• Practical questions, social contact, language courses: Magdalena Ortiz


• Student data: Franziska Gusel


• Social activities for Erasmus/Exchange students: The Buddy Network

Important links

• Contact person at TU Wien: Alexander Leitsch, leitsch@logic.at
• Information for incoming international students provided by the Vienna University of Technology and by the International Office
• Homepage of European Masters on Computational Logic at TU Wien: http://www.logic.at/compulog
• Information System of Vienna University of Technology: TUWIS++
• Homepage of European Masters on Computational Logic in Europe: http://european.computational-logic.org/?id=49
• Homepage of the Vienna University of Technology: http://www.tuwien.ac.at; English version: http://www.tuwien.ac.at/tu_vienna