Theoretical Computer Science and New Applications

Prof. Dr. sc. Christoph Meinel

NEWS / Events

• September 19th Internet-Bridge Trier ( Germany ) <-> Beijing ( China )

The Division

• Welcome Text
• Faculty
• Teaching
  • Courses and online scripts (german)
  • Diploma theses / Diplomarbeiten (german)
• Research
  • Complexity Theory
  • OBDDs in VLSI-Design and Verification
  • Electronic Publishing
• Technical Reports
• Ongoing Seminar
• Open Positions

Some prominent Activities

• Tele-Teaching: Lecture course Information Security in the Internet (german)
• 6th International Symposium RM03
• Institut für Telematik
• Electronic Colloquium on Computational Complexity (ECCC)
• Zentrum für Wissenschaftliches Elektronisches Publizieren (WEP)
• GI-SIG "Complexity"
• "Theorietag" (Workshop on Complexity Theory, Data Structures and Efficient Algorithms)
• BDD-PORTAL
• IBFI Schloß Dagstuhl
• MOPS - a distributed virtual digital library

TCS+NA Research Page - webmaster - 20-Sep-2003