KAIST School of Computing CCA Net

Local Information for CCA 2017

July 24-27 (2017), hosted and organized by KAIST's School of Computing, Daejeon, Republic of Korea

Daejeon Expo Bridge
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.

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.

KAIST N1 Building KAIST Campus Map - N1 Building
KAIST N1 Building


Access from Incheon International Airport and/or from Seoul Station is rich and convenient:

KTX from Incheon International Airport to Daejeon Station

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

AREX from Gimpo International Airport to Seoul, then KTX to Daejeon Station

From Gimpo, 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 stop 9D,
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: Express 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);
from Government 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 Subway 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:
Student members are encouraged to apply for a travel Award before April 23rd.

A limited number of subsidized shared (sex-separated) accommodations are upon request 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 Saturday morning:
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.

Further Local Information

For further local information, please contact the Organizing Committee: