April 28 – May 3 , 2013, Dagstuhl Seminar 13181
Last update: April 22 2015

VaToMAS - Verification and Testing of Multi-Agent Systems

Participants

  • Thomas Agotnes (University of Bergen, NO)
  • Carlos Areces (Universidad Nacional de Córdoba, AR)
  • Guillaume Aucher (INRIA Rennes – Bretagne Atlantique, FR)
  • Alexandru Baltag (University of Amsterdam, NL)
  • Ezio Bartocci (TU Wien, AT)
  • Ioana Boureanu (EPFL – Lausanne, CH)
  • Nils Bulling (TU Clausthal, DE)
  • Louise A. Dennis (University of Liverpool, GB)
  • Michael Fisher (University of Liverpool, GB)
  • Tim French (The Univ. of Western Australia – Nedlands, AU)
  • Valentin Goranko (Technical University of Denmark – Lyngby, DK)
  • Stefan Gruner (University of Pretoria, ZA)
  • Dimitar Guelev (Bulgarian Academy of Sciences, BG)
  • Yuri Gurevich (Microsoft Corporation – Redmond, US)
  • Andreas Herzig (Paul Sabatier University – Toulouse, FR)
  • Wojtek Jamroga (University of Luxembourg, LU)
  • Francois Laroussinie (University Paris-Diderot, FR)
  • Alessio R. Lomuscio (Imperial College London, GB)
  • Nicolas Markey (ENS – Cachan, FR)
  • Bastien Maubert (INRIA Rennes – Bretagne Atlantique, FR)
  • Stephan Merz (LORIA – Nancy, FR)
  • Aniello Murano (University of Napoli, IT)
  • Wojciech Penczek (Siedlce Univ of Natural Sciences and Humanities, PL)
  • Sylvain Peyronnet (Caen University, FR)
  • Jerzy Pilecki (Polish Academy of Science – Warsaw, PL)
  • Sophie Pinchinat (IRISA / CNRS, FR)
  • Franco Raimondi (Middlesex University, GB)
  • Jean-Francois Raskin (Free University of Brussels, BE)
  • Markus Roggenbach (Swansea University, GB)
  • Ina Schaefer (TU Braunschweig, DE)
  • Holger Schlingloff (HU Berlin, DE)
  • Gerardo Schneider (University of Göteborg, SE)
  • Henning Schnoor (Universität Kiel, DE)
  • Francois Schwarzentruber (IRISA – Rennes, FR)
  • Dmitry Shkatov (University of the Witwatersrand – Johannesburg, ZA)
  • Ron van der Meyden (UNSW – Sydney, AU)
  • Hans Van Ditmarsch (LORIA – Nancy, FR)
  • Ramanathan Venkatesh (Tata Consultancy Services – Pune, IN)
  • Karsten Wolf (Universität Rostock, DE)