10-14 Jul 2017
Daejeon, South Korea
DEADLINE EXTENSION
********** Call for Papers/Participants **********
The 15th Asian Logic Conference (ALC 2017)
Daejeon, Korea
July 10-14, 2017
https://alc15korea.wixsite.com/alckorea
The Fifteenth Asian Logic Conference will be held in Daejeon, Korea during
July 10 - 14, 2017. It will be the first Asian Logic Conference since its
status changed from an ASL(the Association for Symbolic Logic
<https://www.aslonline.org/index.htm>)-sponsored meeting to an official ASL
meeting by ASL Council action in May 2016.
The Asian Logic Conference (ALC) is a major international event in
mathematical logic. It features the latest scientific developments in the
fields in mathematical logic and its applications, logic in computer
science, and philosophical logic. The ALC series also aims to promote
mathematical logic in the Asia-Pacific region and to bring logicians
together both from within Asia and elsewhere to exchange information and
ideas.
Abstracts of contributed talks submitted by ASL members will be published
in The Bulletin of Symbolic Logic if they satisfy the Rules for
Abstracts. Submission instructions are available at the meeting website.
*Plenary Speakers*
Johann Makowsky (Technion IIT, Israel)
Sara Negri (University of Helsinki, Finland)
Yinhe Peng (University of Toronto, Canada)
Katrin Tent (University of Münster, Germany)
Kwangkeun Yi (Seoul National University, Korea)
Yimu Yin (Sun Yat-sen University, China)
Liang Yu (Nanjing University, China)
Yizheng Zhu (University of Münster, Germany)
*Special Session Speakers*
- *Computability*
Vikraman Arvind (IMSc, India)
Chi Tat Chong (National University of Singapore, Singapore)
Takako Nemoto (JAIST, Japan)
Sungwoo Park (Postech, Korea)
Norbert Preining (Accelia Inc., Japan)
Linda Westrick (University of Connecticut, USA)
- *Model Theory*
Jan Dobrowolski (University of Leeds, UK)
Koichiro Ikeda (Hosei University, Japan)
Junguk Lee (Yonsei University, Korea)
Kota Takeuchi (University of Tsukuba, Japan)
- *Philosophical Logic*
Fenrong Liu (Tsinghua University, China)
Kamal Lodaya (IMSc, India)
Tomoyuki Yamada (Hokkaido University, Japan)
Byeong-uk Yi (University of Toronto, Canada)
- *Set Theory*
Yurii Khomskii (University of Hamburg, Germany)
Paul Larson (Miami University, USA)
Diego Mejía (Shizuoka University, Japan)
Hiroshi Sakai (Kobe University, Japan)
*Program Committee*
Jörg Brendle (Kobe University, Japan)
Rod Downey (Victoria University of Wellington, New Zealand)
Qi Feng (Chinese Academy of Sciences, China)
Byunghan Kim (Chair, Yonsei University, Korea)
Fenrong Liu (Tsinghua University, China)
R. Ramanujam (IMSc, India)
Akito Tsuboi (University of Tsukuba, Japan)
Yue Yang (National University of Singapore, Singapore)
*Local Committee*
Inkyo Chung (Chair, Korea University, Korea)
Joongol Kim (Sungkyunkwan University, Korea)
Gyesik Lee (Hankyong National University, Korea)
Martin Ziegler (KAIST, Korea)
*Important Dates (Updated)*
*May 31, 2017 *:
- Deadline for contributed talk applications.
- Deadline for travel support applications.
*June 9, 2017* : Notification of the result of contributed talk & travel
support applications
*June 16, 2017* : Deadline for the payment of reduced registration fee by
bank transfer. (After this date, registration fee will no longer be
accepted by bank transfer. Only on-site payment (in cash) of standard
registration fee will be accepted during the first day of conference.)
*June 30, 2017 *(or when there are 120 registered participants before this
date) : Registration closes.
*July 10 - 14, 2017 *: Conference
NOTE :
1. If you are selected to give a contributed talk, you will be exempted
from paying the registration fee (which includes 5 lunches and a banquet).
2. We have limited funds available to provide partial travel support to
student participants.
To be considered for a partial travel support, please visit
https://alc15korea.wixsite.com/alckorea/travel-support and follow the
instructions for ALC2017 Travel Support.
For further information, visit the webpage below.
https://alc15korea.wixsite.com/alckorea
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam