Veranstaltungen 2004:
12. – 15. Januar 2004, GI-Dagstuhl Seminar 04032GI-Dagstuhl-Seminar: "Model-based Testing of Reactive Systems"M. Broy (TU München, DE), B. Jonsson (Uppsala Univ., SE), J.-P. Katoen (University of Twente, NE), M. Leucker (Uppsala Univ., SE), A. Pretschner (TU München, DE) | Top |
12. – 16. April 2004, GI-Dagstuhl Seminar 04162GI-Dagstuhl-Seminar: "Netzwerkanalyse"U. Brandes (Univ. Konstanz), T. Erlebach (ETH Zürich) | Top |
29. August bis 3. September 2004, GI-Dagstuhl Seminar 04362GI-Dagstuhl-Seminar: "Game-theoretic Analyses of the Internet"M. Bläser (ETH Zürich, CH), P. Krysta (Univ. Dortmund, DE), R. Reischuk (Univ. Lübeck, DE) B. Vöcking (Univ. Dortmund, DE) | Top |