Veranstaltungen 2002:



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

Algorithms for Memory Hierarchies


Ulrich Carsten Meyer (Goethe-Universität – Frankfurt a. M., DE), Peter Sanders (KIT – Karlsruher Institut für Technologie, DE), Jop Frederik Sibeyn (University of Umeå, SE)

Top

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

Validation of Stochastic Systems


Christel Baier (TU Dresden, DE), Boudewijn Haverkort (University of Twente, NL), Holger Hermanns (Universität des Saarlandes, DE), Joost-Pieter Katoen (RWTH Aachen, DE)

Top