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

Organizers

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

Registration

Registration is included for participants of the co-located 14th International Conference on Computability and Complexity in Analysis.
So please register here for the workshop only:

Registration Fee
Name & Affiliation

Excursion

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