Информационная система "Конференции"

Programm Committee Organizing Committee Schedule Conference Program Submit and Registration Publication Registration fee Accommodation Local transportation Credit cards and currency Registration

Look Application Second Application Form Important Dates Additional information Participants List Report List Participants Search Photos Publication in the Proceedings volume of Conference

Visa information

The 9th Asian Local Conference on Logic (ALC'2005) is the ninth in the series of logic conferences, which is held once every three years and rotates among countries in the Asia-Pacific region with interests in the broad area of logic including theoretical computer science.
In the past, there were eight meetings in Singapore (1981), Bangkok, Thailand (1984), Bejing, China (1987), Tokyo, Japan (1990), Singapore (1993), Bejing, China (1996), Hsi-Tou, Taiwan (1999), and Chongqing, China (2002).
This conference is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic.

In 2005, the conference takes place in Novosibirsk (Akademgorodok) at the Sobolev Institute of Mathematics SB RAS, August 16-19.

The purpose of the conference is to facilitate interactions between researches interested in the mathematical logic, logic in computer science, and philosophical logics. It aims at promoting activities of mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

Up to now, the following specialists in logic accepted our invitation to give a plenary lecture at the conference (in alphabetical order):

Pavel  Alaev	(Russia)
Lev   Beklemishev	(Russia, Netherlands)
Su   Gao	(USA)
Yurii  Ershov	(Russia)
Sanjay   Jain	(Singapore)
Vladimir   Kanovei	(Russia)
Bakhadyr  Khoussainov	(New Zealand)
Andrei   Mantsivoda	(Russia)
Joe   Miller	(USA)
Hiroakira  Ono	(Japan)
Vladimir   Rybakov	(Russia, Great Britain)
Masahiko  Sato	(Japan)
Moshe  Vardi	(USA)
Andrei  Voronkov	(Great Britain)
Xishun  Zhao	(China)

Organized by:

Sponsors:

Conference Topics:

Topics of interest include, but are not limited to:

	recursion theory,
	set theory,
	proof theory,
	model theory and universal algebra,
	non-classical logic,
	logic in computer science.

Schedule:

Schedule
Conference Program

Programm Committee:

Visa information

The preferable way of submitting your abstract and registering is via our conference information system (Application)

If it is not available to submit your abstract in such a way,
please send it by e-mail in the PDF format to alc9@math.nsc.ru
or send a hard copy to

Publication:

The organisers plan to publish a collection of abstracts of accepted talks (in English).
The requirements are as follows:
authors prepare TeX-files of their abstracts;
the preamble should be taken from here or available as a head2005.zip(1kb);
abstracts should be at most 2-pages long (5 pages for invited lecturers).

The organisers plan to publish the Proceedings volume of the Conference, which would like to publish at the World Scientific Publishers in 2006. Information about the publication in the Proceedings volume of Conference is HERE.

Important Dates:

Registration fee covers conference proceedings, coffee-breakes and cultural programm.
To make payment procedure easier the registration fee is gathered by Computer science department of Aucklend University. Due to this reason the amounts in NZ$ are indicated. To pay registration fee fill in the form Registration.rtf (8 kb) and fax it to Anita Lai at 64 9 37 37453.

Accommodation:

single room: from $30 to $65 per night,
double room: from $50 to $65 per night.

Electricity

Time difference

Additional information:

Attention! The ASL will make available modest travel awards to graduate students in logic and to recent Ph.D.'s. More information is here http://www.aslonline.org/studenttravelawards.html

CONTACT INFORMATION

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home

© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: Tuesday, 27-Sep-2005 16:17:30 NOVST