Skip to Content

Path: DBAI >

Tools: Drucken

---

About us

Staff members | Address and contact information

Research

Fields of research | Publications | Technical Reports

Projects

Talks

Teaching

Courses

Services

• Libraries:
• TU Wien's Library (includes links to online electronic journals and proceedings (IEEE, ACM, AMS, Springer LNCS))
• Online catalogue of TU Wien's library
• Our computing environment
• Guests: Travel costs form
• Search:

Job openings

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering

• computational logic, and applications of logic to
• databases and artificial intelligence as well as to
• computer-aided verification.

---

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung