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



For foreign participants there is a limited number of seats available to an optional, final excursion to Seoul on July 29 (Saturday);
particularly if your return flight leaves on Sunday:
Departure in the morning from Daejeon by bus,
lunch in a restaurant in Seoul,
guided tour of some king's palace(s).
First-come first-serve:

Final Excursion
Name & Affiliation