KAIST School of Computing CCA Net

Workshop on Real Verification

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

Invited Speakers

Organizers

Conference Venue

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