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
Tourist Information

Programme

Sunday (July 23)
19h00-21h00: informal pre-conference dinner, Indian Curry No.9 (유성구 궁동 432-4, 대학로 169 / Daehak-ro 169)
Monday (July 24)
9h00: shuttle bus departs from Toyoko Inn (Government Complex)
9h15: registration in KAIST N1 building, room #102
9h45: opening ceremony
10h00: invited talk by Verónica Becher: "Computable Examples of Absolutely Normal Numbers"
11h00: coffee break
11h30: Birzhan Moldagaliyev: Automatic Randomness Tests
12h00: Willem Fouche: Logical and computational aspects of Gleason's theorem in probability theory
12h30: Christine Gaßner, Arno Pauly, Florian Steinberg: Computing measures as a primitive operation
13h00: lunch break
14h30: afternoon session chair: Klaus Weihrauch
14h30: Vasco Brattka, Rupert Hölzl, Rutger Kuyper: Monte Carlo Computability and Inverting Jumps
15h00: Junhee Cho, Martin Ziegler: Computing Periods...
15h30: Pieter Collins: On the Relationship between Classical and Computable Topology
16h00: coffee break
16h30: Matthew de Brecht, Arno Pauly: Noetherian Quasi-Polish spaces
17h00: invited talk by Takayuki Kihara: "Martin-like phenomena in the classification of real-valued functions"
18h00: end of first conference day
Tuesday (July 25)
9h30: morning session chair: Vasco Brattka
9h30: invited talk by Anders Hansen: "Computing the non-computable - on the role of computability theory in the sciences"
10h30: Chansu Park, Ji-Won Park, Sewon Park, Dongseong Seon, Martin Ziegler: Computable Operations on Compact Subsets of Metric Spaces with Applications to Frechet Distance and Shape Optimization
11h00: coffee break
11h30: Ivan Georgiev: Complexity of some real numbers and functions with respect to the subrecursive class M2
12h00: Matthias Schröder: Complexity Theory using Hybrid Representations
12h30: Florian Steinberg, Akitoshi Kawamura: Polynomial running times for polynomial-time oracle machines
13h00: lunch break
14h00: guided walking tour of&around KAIST : meet at 14h10 in front of E5
17h30: end of 2nd day
Wednesday (July 26)
9h30: morning session chair: Akitoshi Kawamura
9h45: invited talk by Amaury Pouly: "A universal polynomial differential equation, and some consequences for computability theory"
10h45: Pieter Collins, Luca Geretti, Davide Bresolin, Sanja Živanović Gonzalez, Tiziano Villa: Semantics and Computation of the Evolution of Hybrid Systems with Ariadne
11h15: coffee break
11h45: Eike Neumann, Michal Konečný: Evaluation strategies over continuous real functions
12h15: Chansu Park, Martin Ziegler: Towards Vector Calculus in Exact Real Computation
12h45: photo session
13h15: lunch break
14h30: bus departs for excursion and banquet
22h00: bus returns, end of 3rd day
Thursday (July 27)
9h30: morning session chair: Pieter Collins
9h30: invited talk by Hee-Kap Ahn: "Geometric Algorithms in the Presence of Obstacles"
10h30: Sewon Park, Martin Ziegler: Reliable Diagonalization of Degenerate Matrices
11h00: coffee break
11h30: Eike Neumann: Continuous Enclosures of Discontinuous Problems II
12h00: Florian Steinberg: The standard representation of continuous functions from a Banach space perspective
12h30: Franz Brauße, Florian Steinberg: A minimal representation for continuous functions
13h00: lunch break
14h30: afternoon session chair: Arno Pauly
14h30: invited talk by Linda B. Westrick: "Turing, tt- and m- reductions for functions in the Baire hierarchy"
15h30: coffee break
16h00: informal talk by Jun Le Goh: Compositions of multi-valued functions
16h30: end of 4th day
Friday (July 28)
Workshop on Real Verification.
Saturday (July 29)
Excursion to Seoul (for those who chose this option during registration)

Electronic proceedings and pictures.

Conference Venue

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 KAIST Campus Map - N1 Building
KAIST N1 Building

Transportation

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.

Communication

Not all taxi drivers understand English too well. Thus the following sentences might be useful:

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

Funding

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 dorm rooms are available upon request.

Accommodation

Here are some recommended hotels:

Also, here is a map of local restaurants.

Excursions

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.

Registration

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: