Veranstaltungen 2002:



10. – 14. März 2002, GI-Dagstuhl Seminar 02112

GI-Dagstuhl-Seminar: "Algorithms for Memory Hierarchies"


U. Meyer (MPI Saarbrücken), P. Sanders (MPI Saarbrücken), J. Sibeyn (Umeå, Sweden)

Top

09. – 11. Dezember 2002, GI-Dagstuhl Seminar 02503

GI-Dagstuhl-Seminar: "Validation of Stochastic Systems"


C. Baier (University of Bonn, DE), B. Haverkort (RWTH Aachen, DE), H. Hermanns (University of Twente, NL), J.-P. Katoen (University of Twente, NL, M. Siegle (University of Erlangen, DE, F. Vaandrager (University of Nijmegen, NL)

Top