Atlas home || Conferences | Abstracts | about Atlas


The Seventh Asian Logic Conference

June 7-10, 1999

Hsi-Tou, Taiwan

Mathematics

Homepage: http://www.phil.ccu.edu.tw/alc99.htm
Email: alc99@math.sinica.edu.tw

Deadline for abstracts: February 28, 1999

Description:
The main topics of this conference are mathematical logic, logic in computer science, and philosophical logic. The conference will take place in a lodge in Hsi-Tou, a forest reserve in the central mountains of Taiwan. The location offers both excellent facilities and relative isolation. It is one of the most beautiful parts of Taiwan, close to Sun-Moon Lake, one of Taiwan's indigenous villages, and the peaks of the Central Mountain Range, which at 4000 meters are some of the highest mountains in Asia east of the Tibetan Plateau.

Speakers: Johan van Benthem (University of Amsterdam, Netherlands), Charles Chihara (University of California, Berkeley, USA), Michael Dunn (Indiana University, USA), Ellery Eells (Univ. of Wisconsin, Madison, USA), Byunghan Kim (MIT, USA), Ker-I Ko (SUNY at Stony Brook, USA), Lian Li, (Lanzhou University, P. R. of China), Masanao Ozawa (Nagoya University, Japan), Gaisi Takeuti (University of Illinois at Urbana-Champaign, USA), Stevo Todorcevic (Toronto University, Canada), Akito Tsuboi (University of Tsukuba, Japan)

Mail Address:

Asian Logic Conference Program Committee,
Institute of Mathematics,
Academia Sinica, NO 128, Sec. 2, 
Yen-Chiu-Yuan Rd, Nankang, Taipei, Taiwan

Date received: September 17, 1998, revised February 04, 1999


© 2008 Atlas Conferences Inc.