22-27 June 2009
ALC2009 in Singapore First Call for Papers ----------------------------------------------------------------------------- Eleventh Asian Logic Conference National University of Singapore Singapore 22 - 27 June 2009 Deadline for submissions: 15 March 2009 http://www.ims.nus.edu.sg/Programs/09asianlogic/index.htm#Visitors ----------------------------------------------------------------------------- The Eleventh Asian Logic Conference will be held in Singapore from 22 to 27 June 2009. The Asian Logic Conference series is sponsored by the Association for Symbolic Logic, and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. It 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. From 1981 to 2008, the Asian Logic Conference has been held triennially and rotated among countries in the Asia-Pacific region. The previous meetings took place in Singapore (1981), Bangkok (1984), Beijing (1987), Tokyo (1990), Singapore (1993), Beijing (1996), Hsi-Tou (1999), Chongqing (2002), Novosibirsk (2005), and Kobe (2008). In 2008, the East Asian and Australasian Committees of the Association of Symbolic Logic decided to shorten the three-year cycle to two. The committees also chose Singapore 2009 to begin the new cycle in honor of Professor Chitat Chong's 60th birthday. Professor Chong is one of the founders of the Asian Logic Conference series and a central figure in establishing mathematical logic in Asia. The ALC2009 program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic. The conference topics include, but not limited to: Computability/recursion theory Constructive mathematics Model theory and its applications Non-classical logic Philosophy of science and logic Proof theory Reverse mathematics Set theory Theoretical computer science The confirmed invited speakers are: Klaus Ambos-Spies (University of Heidelberg, Germany), Toshiyasu Arai (Kobe University, Japan), Bektur Baizhanov (Institute of Informatics and Control Problems, Kazakhstan), John T. Baldwin (University of Illinois at Chicago, USA), Rodney Downey (Victoria University of Wellington, New Zealand), Ilijas Farah (York University, Canada), Renling Jin (College of Charleston, USA), Iskander Sh. Kalimullin (Kazan State University, Russia), Peter Koellner (Harvard University, USA), Manuel Lerman (University of Connecticut, USA), Menachem Magidor (Hebrew University of Jerusalem, Israel), Michael Rathjen (University of Leeds, U.K.), Gerald E. Sacks (Harvard University, USA), Stephen G. Simpson (Pennsylvania State University, USA), Theodore A. Slaman (University of California at Berkeley, USA), Frank Stephan (National University of Singapore, Singapore), W. Hugh Woodin (University of California at Berkeley, USA). We particularly invite papers by logicians from the Asia-Pacific region. We also strongly encourage graduate students to attend the conference. Limited student support will be available. Those who are interested should write to alc2009@nus.edu.sg with a supporting letter from a supervisor before 15 March 2009. Abstracts of contributed talks must contain: title and authors; physical and e-mail addresses; identification of corresponding author, if not the first author; a short abstract; and a list of keywords. They should be written in ENGLISH. They should be submitted as email attachments BOTH as a LaTeX file AND as a pdf file to alc2009@nus.edu.sg by the deadline of 15 March 2009. We will acknowledge receipt of your submission and notify you about your paper's acceptance/rejection by 31 March 2009. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic.