November 12 – 15 , 2017, Dagstuhl Seminar 17462
Last update: March 28 2018

A Shared Challenge in Behavioural Specification

Participants

  • Wolfgang Ahrendt (Chalmers University of Technology – Göteborg, SE) [dblp]
  • Cyrille Artho (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Domenico Bianculli (University of Luxembourg, LU) [dblp]
  • Borzoo Bonakdarpour (McMaster University – Hamilton, CA) [dblp]
  • Stijn de Gouw (Open University – Heerlen, NL) [dblp]
  • Cindy Eisner (IBM – Haifa, IL) [dblp]
  • Bernd Finkbeiner (Universität des Saarlandes, DE) [dblp]
  • Adrian Francalanza (University of Malta – Msida, MT) [dblp]
  • Sylvain Hallé (University of Quebec at Chicoutimi, CA) [dblp]
  • Martin Leucker (Universität Lübeck, DE) [dblp]
  • Zhiming Liu (Southwest University – Chongqing, CN) [dblp]
  • Keiko Nakata (SAP Innovation Center – Potsdam, DE) [dblp]
  • Dejan Nickovic (AIT Austrian Institute of Technology – Wien, AT) [dblp]
  • Gordon Pace (University of Malta – Msida, MT) [dblp]
  • Nicolas Rapin (CEA – Gif sur Yvette, FR) [dblp]
  • Giles Reger (University of Manchester, GB) [dblp]
  • Kristin Yvonne Rozier (Iowa State University, US) [dblp]
  • César Sánchez (IMDEA Software – Madrid, ES) [dblp]
  • Torben Scheffel (Universität Lübeck, DE) [dblp]
  • Gerardo Schneider (Chalmers University of Technology – Göteborg, SE) [dblp]
  • Julien Signoles (CEA LIST – Gif-sur-Yvette, FR) [dblp]
  • Volker Stolz (West. Norway Univ. of Applied Sciences – Bergen, NO) [dblp]
  • Hazem Torfah (Universität des Saarlandes, DE) [dblp]
  • Dmitriy Traytel (ETH Zürich, CH) [dblp]
  • Nobuko Yoshida (Imperial College London, GB) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner