Local Information for CCA 2017
July 24-27 (2017), hosted and organized by KAIST's School of Computing, Daejeon, Republic of Korea
see also the co-located
Workshop on Real Verification...
Hosted and organized by
KAIST's School of Computing,
the conference will take place in the N1 Building, Room #101 on
KAIST's Main Campus in Daejeon.
KAIST N1 Building
Access from Incheon International Airport and/or from Seoul Station is rich and convenient:
Every day 7 KTX
bullet trains run directly from Incheon Airport to Daejeon station.
The journey takes about 2h and costs about 36,000 KRW.
(1,000 won correspond very roughly to 1 US$ or 100 JPY...)
With a foreign credit card,
tickets can be reserved
online and then picked up (or purchased from scratch) at the English-speaking
in the basement of Incheon Airport.
Both Incheon Airport and KTX provide free Wifi.
AREX from Incheon Airport to Seoul, then KTX to Daejeon Station
In addition to the aforementioned 7 daily direct KTX,
there are very frequent further connections:
Take the Express AREX
to Seoul Station
and there change to any of the 63 (!) daily KTX to Daejeon
(not counting the slower but cheaper trains nor the one to Seo-Daejeon).
In Incheon Airport you can buy a combined AREX+KTX ticket at a small discount.
take the All-Stop AREX
to Seoul Station, then proceed as above.
Express Bus from Incheon Airport
to Daejeon Government Complex
Korea has two (!)
extensive systems of Express/Intercity Busses with dense schedules.
Outside Incheon Airport's ground level cross the first road to get to bus
dedicated exclusively to busses for Daejeon leaving roughly every 20 to 40 minutes.
Tickets (with seat reservation) can be purchased from the English-speaking clerks
in the booth next to it.
They cost around 23,100 KRW and, subject to traffic, take a little less than 3h
with (usually) one 15-minutes rest midway and several stops within Daejeon.
Express/Intercity Bus from Gangam to Daejeon
In the southern part of Seoul (Gangnam)
there are two close-by bus terminals:
and Central City.
They serve several (often disjoint) destinations within Daejeon:
Taxi to KAIST or to your hotel
Taxis are really inexpensive in Korea!
In front of Daejeon Station, wait in line for the next one available; fare should be around 9,000 KRW;
similarly from Express Bus Station
Daejeon Terminal Complex (East Daejeon);
Complex around 6,000 KRW;
and from Yuseong Bus Terminal around 4,000 KRW.
Subway from Daejeon Station
Daejeon's Toyoko Inn
(see below) is close to the aforementioned
station Government Complex.
KAIST is not so close to station Wolpyeong,
so we rather recommend taking a taxi right away.
Subway can be conveniently accessed with a T-Money
card that also works for city busses in Daejeon, taxis, convenience stores etc.
Not all taxi drivers understand English too well.
Thus the following sentences might be useful:
Please bring me to Toyoko Inn Hotel!
토요코인호텔 로 가주세요.
Please bring me to Indian Curry No.9!
유성구 궁동 432-4, 대학로 169
Please bring me to KAIST N1 building!
카이스트 N1 로 가주세요.
Please bring me to Daejeon station!
대전역 로 가주세요.
You might want to install and download offline versions of
Google Translate on your Android smartphone.
We are happy to acknowledge sponsoring by the
Association for Symbolic Logic:
are encouraged to apply for a
before April 23rd.
A limited number of subsidized shared dorm rooms are available
Here are some recommended hotels:
Also, here is a map of
Registration includes (except for auditing students)
an excursion on Wednesday afternoon.
Another, optional, excursion to Seoul will leave Daejeon on
So you might consider spending Saturday night in Seoul
and take your return flight on Sunday morning.
You can register for CCA 2017 on the following web pages:
After your credit card has been processed for the
registration fee, a confirmation email will be sent:
otherwise please check your spam folder,
then contact us.
For further local information, please contact the Organizing Committee:
- Martin Ziegler, professor at KAIST's School of Computing and
chair of the Organizing Committee: cca2017 [at] realcomplexity.de
- Sewon Park, KAIST School of Computing: swelite [at] kaist.ac.kr
- Sunyoung Kim, Yonsei University: sy831 [at] yonsei.ac.kr