Events 2002:



March 10 – 14 , 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

December 9 – 11 , 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