Local Information for CCA 2017
July 24-27 (2017), hosted and organized by KAIST's School of Computing, Daejeon, Republic of Korea
The scientific programme will begin on the morning
of Monday, July 24, and end on the afternoon of
Thursday, July 27.
It is preceded by the 15th Asian Logic Conference from July 10 to 14
and followed by a Workshop
on Real Verification on Friday, July 28.
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.
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.
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 (sex-separated)
available to students presenting papers.
Here are some recommended hotels:
to be disclosed
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