The 15th Asian Logic Conference, July 10 - 14, 2017, Daejeon, Korea
photo from http://namsu0615.blog.me/
Venue
ALC2017 will take place at CAMP (Center for Applications of Mathematical Principles) in Daejeon, Korea. CAMP is part of NIMS (National Institute for Mathematical Sciences).
Address: 70, Yuseong-daero 1689-gil, Yuseong-gu, Daejeon, Korea.
Tel: +82-42-828-5802
(In Korean: 대전광역시 유성구 유성대로1689번길 70 )
The city of Daejeon is located about 130 km (80 miles) south of Seoul.
Directions to CAMP
1. From Incheon/Gimpo International Airport
2. From within Daejeon (The webpage lists directions to IBS (Institute for Basic Science) which is in the same building as CAMP.)
★NEW★
There will be free shuttle bus service (twice a day) between Hotel Interciti and the conference venue (CAMP) throughout the conference period. Please feel free to take advantage of this service if you will be staying near Hotel Interciti. (Hotel Interciti is located 7km southwest of CAMP.) The shuttle bus will depart Hotel Interciti for CAMP at around 8:00am every morning, and depart CAMP for Hotel interciti 30-60 minutes after the last talk of the day.
A CAMP Building Guide: Click HERE.
★NEW★
Simple breakfast (sandwich or rice burger) will be served at CAMP every morning.
Visas
Depending on your nationality, you might require a visa to enter South Korea. For up-to-date information on visas, please go to:
If you need an invitation letter, please send an email to "jeonghy_at_nims.re.kr" with (1) your full name as it appears in passport, (2) your postal address & telephone number, (3) your official affiliation, and (4) your intended period of stay in South Korea. When sending your email, please begin the subject line with [ALC]. (This individual invitation is intended only to facilitate travel and visa arrangements for the registered participants. Visa applications are the sole responsibility of participants.)
Accommodation
Free hotel accommodations will be arranged for plenary speakers, special session speakers, and program/local committee members. Other participants should book their accommodation directly with hotels.
Some Suggested Hotels in Daejeon
-
Hotel Interciti : http://www.hotelinterciti.com
-
Toyoko Inn Daejeon Government Complex : http://www.toyoko-inn.com/e_hotel/00234/index.html
-
Lotte City Hotel Daejeon : http://www.lottecityhoteldaejeon.com/
-
Hotel Rivera : http://www.shinan.co.kr/yusong/eng/index_yuseong.asp
-
Yousung Hotel : http://www.yousunghotel.com/eng/index.do
-
Hotel ICC : http://hotelicc.com/eng/index.do
