Atlas home || Conferences | Abstracts | about Atlas
Host: Workshop "Computability and Models"
Homepage: http://www.math.nsc.ru/conference/malmeet/comp01/index-e.html
Description:
Workshop "Computability and Models" will be held in Almaty during June 24-28, 2002. It is organized under the aegis of the Kazakh National University and the Institute of Mathematics of National Academy of Sciences of Kazakhstan as part of the joint research projects INTAS-RFBR-97-139 "Computability and Models" and INTAS-00-499 " Computability in Hierarchies and Topological Spaces".
The three earlier INTAS workshops (Novosibirsk, May 4-5, 2000; Heidelberg, January 18-19, 2001; Novosibirsk, September 24-26, 2001) have established a tradition of inviting a wide spectrum of specialists in Computability theory, and its applications to logic, mathematics, and computer science.
As for the previous workshops, funding is partially available only for the participants of the INTAS grants. Unfortunately, outside participants should arrange funding for themselves.
Local expenses (lodging + meal) are expected to be at most 50 USA dollars per day. Participants will have possibilities for their own lodging or/and meal not far from the place the conference will be held.
The participants are expected to arrive in Almaty on Saturday, June 22, or Sunday, June 23, and depart on June 29-30. The working days of the workshop are June 24, 25, 27, 28. Wednesday is expected to be used for excursions to the city and/or for walking in the mountains.
As usual, the workshop will be devoted mainly to Computability theory and its applications to logic and to computer science, but will also include several talks on model theory. This workshop is the final one for the project INTAS-RFBR-97-139, and some talks will summarize the results of the research over the previous three years.
Date received: February 23, 2002
© 2008 Atlas Conferences Inc.