Workshop on Real Verification
- Cyril Cohen, Inria Sophia-Antipolis, France
- Jeehoon Kang, Seoul National University, Republic of Korea
- Johannes Kanig, AdaCore
- Sunyoung Kim, Yonsei University, Republic of Korea
- Michal Konečný, Aston University, United Kingdom-
- Norbert Müller, Universität Trier, Germany
- Sukyoung Ryu, KAIST, Republic of Korea
- Gyesik Lee, Hankyong National University, Republic of Korea
- Martin Ziegler, KAIST School of Computing, Republic of Korea
Hosted and organized by
KAIST's School of Computing,
the conference will take place at N1, Building Room #101 on
KAIST's Main Campus in Daejeon.
See CCA 2017 local information for details...