International Workshop on Strategic Reasoning

3. HCVS@ETAPS 2016: Eindhoven, The Netherlands

2. HCVS 2015: San Francisco, CA, USA

HCVS 2015 Home Page

1. HCVS 2014: Vienna, Austria

Part of VSL 2014

maintained by Schloss Dagstuhl LZI at University of Trier