Workshop on Real Verification
- Cyril Cohen, Inria Sophia-Antipolis, France
- Jeehoon Kang, Seoul National University, Republic of Korea
- Norbert Müller, Universität Trier, Germany
- Sukyoung Ryu, KAIST, Republic of Korea
- Kim Sunyoung, Yonsei University, Republic of Korea
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...