Logic List Mailing Archive

ALC 2017: Asian Logic Conference

10-14 Jul 2017
Daejeon, South Korea

**********    Call for Papers    **********


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 is 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*


*May 12, 2017 *: Deadline for contributed talk applications.

*May 29, 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.)
    - Notification of the result of contributed talk applications.

*June 30, 2017 *(or when there are 120 registered participants before this
date) : Registration closes.

*July 10 - 14, 2017 *: Conference


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