August 10 – 14 , 2014, Dagstuhl Seminar 14332
Last update: March 30 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]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner