12. – 15. November 2017, Dagstuhl-Seminar 17462
Letzte Aktualisierung: 28. März 2018
A Shared Challenge in Behavioural Specification
Teilnehmer
- 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]
Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner