KAIST School of Computing CCA Net

Workshop on Real Verification

July 28 (2017), organized by KAIST's School of Computing and co-located with the 14th International Conference on Computability and Complexity in Analysis

Invited Speakers


Conference Venue

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...