Participant List : Druckversion


August 10 – 14 , 2008, Dagstuhl Seminar 08332
Last update: January 27 2011

Distributed Verification and Grid Computing

Participants

  • Henri E. Bal (VU University Amsterdam, NL)
  • Jiri Barnat (Masaryk University – Brno, CZ)
  • Jörg Behrend (Universität Tübingen, DE)
  • Stefan Blom (University of Twente, NL)
  • Lubos Brim (Masaryk University – Brno, CZ)
  • Ivana Cerná (Masaryk University – Brno, CZ)
  • Gianfranco Ciardo (University of California – Riverside, US)
  • Wan Fokkink (VU University Amsterdam, NL)
  • Ganesh L. Gopalakrishnan (University of Utah – Salt Lake City, US)
  • Sergei Gorlatch (Universität Münster, DE)
  • Jan Friso Groote (Eindhoven Univ. of Technology, NL)
  • Keijo Heljanko (Helsinki University of Technology, FI)
  • Fabrice Huet (INRIA Sophia Antipolis – Méditerranée, FR)
  • Joost-Pieter Katoen (RWTH Aachen, DE)
  • Thilo Kielmann (VU University Amsterdam, NL)
  • Josva Kleist (Nordic DataGrid Facility, DK)
  • Krzysztof Kurowski (Polish Supercomputing Center – Poznan, PL)
  • Martin Leucker (TU München, DE)
  • Gerald Lüttgen (Universität Bamberg, DE)
  • Pradeep Nalla (Universität Tübingen, DE)
  • Simona Orzan (TU Eindhoven, NL)
  • Andrey Rybalchenko (MPI-SWS – Saarbrücken, DE)
  • Fernando Schapachnik (University of Buenos Aires, AR)
  • Stephen Siegel (University of Delaware, US)
  • Kenijro Taura (University of Tokyo, JP)
  • Jaco van de Pol (University of Twente, NL)
  • Michael Weber (University of Twente, NL)
  • Verena Wolf (Universität des Saarlandes, DE)
  • Ramin Yahyapour (TU Dortmund, DE)

Participant List : Last Update 14.08.2018, 20:17 o'clock