May 10, 2017
Participants
- Mahmudul Faisal Al Ameen, National University of Singapore, Singapore
- Lennart Beringer, Princeton University, USA
- Lars Birkedal, Aarhus University, Denmark
- Mike Dodds, University of York, UK
- Marieke Huisman, University of Twente, Enschede, The Netherlands
- Joxan Jaffar, National University of Singapore, Singapore
- Christina Jansen, RWTH Aachen University, Germany
- Daisuke Kimura, Toho University, Japan
- Robbert Krebbers, Technical University Delft, The Netherlands
- Quang Loc Le, Teesside University, Middlesbrough, UK
- Gerald Lüttgen, University of Bamberg, Germany
- Christoph Matheja, RWTH Aachen University, Germany
- Koji Nakazawa, Nagoya University, Japan
- Chin Wei Ngan, National University of Singapore, Singapore
- Thomas Noll, RWTH Aachen University, Germany
- Ruzica Piskac, Yale University, New Haven, USA
- Xiaokang Qiu, Purdue University, West Lafayette, USA
- Arend Rensink, University of Twente, Enschede, The Netherlands
- Adam Rogalewicz, Brno University of Technology, Czech Republic
- Alexander J. Summers, ETH Zürich, Switzerland
- Makoto Tatsuta, National Institute of Informatics, Japan
- Caterina Urban, ETH Zürich, Switzerland
- Thomas Wies, New York University, USA