10. – 14. August 2014, Dagstuhl Seminar 14332
Letzte Aktualisierung: 30. März 2015

Formal Methods for Coordinating Multi-Agent Systems

Participants

  • Thomas Agotnes (University of Bergen, NO) [dblp]
  • Markus Brill (Duke University – Durham, US) [dblp]
  • Jan M. Broersen (Utrecht University, NL) [dblp]
  • Nils Bulling (TU Clausthal, DE) [dblp]
  • Natalia Criado (John Moores University – Liverpool, GB) [dblp]
  • Mehdi Dastani (Utrecht University, NL) [dblp]
  • Louise A. Dennis (University of Liverpool, GB) [dblp]
  • Catalin Dima (University Paris-Est – Créteil, FR) [dblp]
  • Valentin Goranko (Technical University of Denmark – Lyngby, DK) [dblp]
  • Maaike Harbers (TU Delft, NL) [dblp]
  • Andreas Herzig (Paul Sabatier University – Toulouse, FR) [dblp]
  • Max Knobbout (Utrecht University, NL) [dblp]
  • Ho-Pun Lam (NICTA – Brisbane, AU) [dblp]
  • Beishui Liao (Zhejiang University, CN) [dblp]
  • Brian Logan (University of Nottingham, GB) [dblp]
  • Marin Lujak (University Rey Juan Carlos, ES) [dblp]
  • Nir Oren (University of Aberdeen, GB) [dblp]
  • Julian Padget (University of Bath, GB) [dblp]
  • Truls Pedersen (University of Bergen, NO) [dblp]
  • Joshua Sack (University of Amsterdam, NL) [dblp]
  • Marija Slavkovik (University of Bergen, NO) [dblp]
  • Bas J. G. Testerink (Utrecht University, NL) [dblp]
  • Nicolas Troquard (National Research Council – Povo (Trento), IT) [dblp]
  • Paolo Turrini (Imperial College London, GB) [dblp]
  • Birna Van Riemsdijk (TU Delft, NL) [dblp]
  • Marc Van Zee (University of Luxembourg, LU) [dblp]
  • Laurent Vercouter (INSA – St- Etienne-du-Rouvray, FR) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner