TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Perspectives Workshop 05461

Perspektiv-Workshop zur theoretischen Informatik

( Nov 14 – Nov 16, 2005 )


Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/05461

Organizers



Motivation

Ziel des Workshops ist eine Standortbestimmung der theoretischen Informatik in Deutschland mit der Herausarbeitung erfolgversprechender Richtungen (und eventuellen konkreten Schritten). Hierzu dient zunächst die Darstellung der aktuellen Forschungsthemen und ihrer tragenden Ideen sowie die Benennung von Herausforderungen und Entwicklungsmöglichkeiten

  • rein wissenschaftlich,
  • hinsichtlich Zusammenarbeit mit anderen Theoretikern/Anwendern,
  • in nationalen oder internationalen Verbünden,
  • jenseits der Fachdiskussion in allgemeinverständlichen Publikationen.

Weitere angesprochene Themen sind die Erwartungen der Informatik und ihrer Nachbarfächer an die Theoretiker, mögliche Weichenstellungen in der Lehre (etwa im Zuge der Einführung von BSc/MSc) sowie die Strukturen in der Wissenschaftsorganisation (insbesondere Theorie-Fachgruppen der Gesellschaft für Informatik).


Participants
  • Franz Baader (TU Dresden, DE) [dblp]
  • Wilfried Brauer (TU München, DE)
  • Volker Diekert (Universität Stuttgart, DE) [dblp]
  • Javier Esparza (Universität Stuttgart, DE) [dblp]
  • Erich Grädel (RWTH Aachen, DE) [dblp]
  • Martin Grohe (HU Berlin, DE) [dblp]
  • Martin Hofmann (LMU München, DE) [dblp]
  • Michael Kaufmann (Universität Tübingen, DE) [dblp]
  • Matthias Krause (Universität Mannheim, DE) [dblp]
  • Friedhelm Meyer auf der Heide (Universität Paderborn, DE) [dblp]
  • Ernst-Rüdiger Olderog (Universität Oldenburg, DE) [dblp]
  • Rüdiger Reischuk (Universität Lübeck, DE) [dblp]
  • Peter H. Schmitt (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Uwe Schöning (Universität Ulm, DE) [dblp]
  • Thomas Schwentick (TU Dortmund, DE) [dblp]
  • Raimund Seidel (Universität des Saarlandes, DE) [dblp]
  • Helmut Seidl (TU München, DE) [dblp]
  • Gerit Sonntag (DFG - Bonn, DE) [dblp]
  • Bernhard Steffen (TU Dortmund, DE) [dblp]
  • Wolfgang Thomas (RWTH Aachen, DE) [dblp]
  • Dorothea Wagner (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Emo Welzl (ETH Zürich, CH) [dblp]
  • Thomas Wilke (Universität Kiel, DE) [dblp]
  • Martin Wirsing (LMU München, DE) [dblp]