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



9-ая Азиатская конференция по логике

16-19 Августа, 2005, Новосибирск


Информационное сообщение:

О визе(на английском)

9-ая Азиатская конференция по логике (АЛС'2005) девятая из серии конференций по логике, которые проводятся каждые три года в одной из стран Тихо-Океанского региона и охватывают широкий круг областей математической логики, включая теоретическую область информатики.
Первая конференция состоялась в Сингапуре в 1981, и затем в Банкоге (Таиланд 1984), Пекине (Китай 1987), Токио (Япония 1990), Сингапуре (1993), Пекине (Китай 1996), Хи-тау (Тайвань 1999) и Шанхае (Китай 2002).
АЛС является главной в этой области.

В 2005 году с 16 по 19 августа 9-ая Азиатская конференция по логике будет проводиться в России, в Новосибирском Академгородке, в Институте математики им. С.Л. Соболева СО РАН.

Целью конференции является установление эффективного взаимодействия между исследованиями, проводимыми в различных областях математической логики, вычислительной логики и философской логики. Конференция способствует развитию математической логики в Азиатском Тихо-Океанском регионе и позволяет логикам из всех регионов Азии собираться вместе и обмениваться информацией и идеями.

На конференции с пленарными докладами выступят:

        Павел  Алаев (Россия)
            Лев  Беклемишев (Россия, Нидерланды)
        Моше  Варди (США)
      Андрей  Воронков (Великобритания)
              Су  Гао (США)
         Юрий  Ершов (Россия)
      Санжай  Жейн (Сингапур)
  Владимир  Кановей (Россия)
      Андрей  Манцивода (Россия)
           Джо  Миллер (США)
Хироакира  Оно (Япония)
  Владимир  Рыбаков (Россия, Великобритания)
  Масахико  Сато (Япония)
    Бахадыр  Хусаинов (Новая Зеландия)
     Сишунь  Чжао (Китай)

Организаторы конференции:

- Институт математики им. С.Л. Соболева СО РАН
- Новосибирский государственный университет:
     Механико-математический факультет

При поддержке:

- Российского Фонда фундаментальных исследований
- Ассоциации символической логики
- Механико-математического факультета НГУ
- Сибирского фонда алгебры и логики
- Новосибирского центра информационных технологий «УниПро»
- ООО "Алекта"
- ООО "Транстекст"

Порядок работы:

Порядок работы
Программа конференции

Программный комитет:

Гончаров Сергей Савостьянович - Председатель
Дин Дэчэн 
Доуни Родней Г.
Ершов Юрий Леонидович
Кроссли Джон Н.
Максимова Лариса Львовна
Морозов Андрей Сергеевич
Оно Хироакира 
Пальчунов Дмитрий Евгеньевич
Палютин Евгений Андреевич
Тун Ши Пин 
Фэн Ци 
Хусаинов Бахадыр M.
Чжуан Чжида 
Ясуги Марико 

Организационный комитет:

Морозов Андрей Сергеевич - Сопредседатель
Одинцов Сергей Павлович - Сопредседатель
 
Кравченко Александр Владимирович - Ученый секретарь
Алаев Павел Евгеньевич
Березнюк Станислав Леонидович
Винокуров Никита Сергеевич
Власов Дмитрий 
Когабаев Нурлан Талгатович
Морозова Галина Захаровна
Мурзина Вета Федоровна
Стукачев Алексей Ильич
Хисамиев Асылхан Назифович
Ян Юэ 

Представление материалов:

О визе(на английском)

Предпочтительно зарегистрироваться на сайте http://www.sbras.ru/ws/ALC-9/.

Если это не возможно, то пришлите, пожалуйста, информацию о себе и тезисы в PDF формате по эл. адресу alc9@math.nsc.ru
или по почте Россия, 630090, Новосибирск,
пр. академика Коптюга 4,
Институт им. С.Л. Соболева СО РАН,
9-ая Азиатская конференция по логике

Тезисы, размещенные на нашем WEB-сайте, могут быть в произвольной форме, но разумного объема.

Публикации:

Тезисы принятых докладов будут опубликованы в сборнике тезисов (на английском языке).
Требования к оформлению следующие:
авторы представляют в оргкомитет TeX-файл;
шапка оформляется по образцу, который можно посмотреть здесь (или скачать zip-файл);
объем - до 2 страниц (до 5 страниц для пленарных докладчиков);
оформленные не по правилам тезисы опубликованы не будут.
Прием тезисов для публикации до 30 апреля 2005г.

В 2006 году будут выпущены труды конференции в "World Scientific Publishers" на английском языке. Информация по срокам подачи и требования к оформлению ЗДЕСЬ.

Важнейшие даты:

Прием заявок на доклады до 20 марта 2005
Уведомление о включении в число участников до 31 марта 2005
Прием тезисов для публикации до 30 апреля 2005
Окончание регистрации 30 апреля 2005

Организационный взнос:

до 1.08.2005 после 1.08.2005
Организационный взнос 3360 руб. (120$) 4200 руб. (150$)
Редуцированный организационный взнос для аспирантов и участников из стран со слабой валютой 1800 руб. ( 65$) 2200 руб. ( 80$)

Регистрационный взнос включает в себя затраты на издание сборника тезисов и информационных материалов, кофе во время перерывов, Welcome party и культурную программу.

Внимание!!
Оплата регистрационного взноса для российских участников и участников из ближнего зарубежья, которым нужны отчетные документы, проводится с заключением договора.
Информация здесь

**********************
Реквизиты Института математики им.
С.Л. Соболева СО РАН:

Россия, 630090, Новосибирск,
просп. Академика Коптюга, 4
ИНН 5408100145, КПП 540801001
Отделение по Советскому району г. Новосибирска УФК по Новосибирской области
(ИМ СО РАН л/сч 06401137881)
Банк: РКЦ Советский г. Новосибирск
Счет № 40503810300001000062 БИК 045003000
В поле «назначение платежа» указывайте
9 Азиатская конференция по логике
Рег.взнос [Фамилия Имя Отчество]
[сумма], в.т.ч. НДС (18%) =[ ндс ]
код 401 303 02010 01 0000 180, ист. 07


Проживание:

1. Гостиница "Золотая долина" , 10 мин. ходьбы до места проведения конференции. Стоимость проживания (руб./сутки) для участников конференции (в скобках указана цена на общих основаниях):
1-местный номер: 650 (1600)
2-местный номер: 1100 (2600)
место в 2-местн. номере: 550 (1300)
полулюкс (1-местн.): 990 (2400)
люкс (1-местн.): 1400 (3500)
люкс (2-местн.): 1400 (4000)
2. Гостиница НГУ (в общежитии № 9 геологов), 15 мин. ходьбы до места проведения конференции (Пирогова 18а, второй ряд общежитий НГУ дальнее здание).
Стоимость проживания составляет 150 руб./сутки за место. Число мест ограничено, поэтому в первую очередь эти места распределяются среди студентов и аспирантов.

Проезд

Из аэропорта Толмачево до г. Новосибирска до гостиницы «Золотая долина» (конечная остановка) можно добраться экспресс-автобусом 808, который курсирует ежечасно (6.20,….21.20). Время в пути – 1час 10мин.
Организована встреча иностранных участников конференции в утренние часы (ночные), просьба проинформировать оргкомитет о рейсе и времени прилета.

От железнодорожного вокзала г. Новосибирска до гостиницы можно добраться маршрутным такси 15. Обычное такси до Академгородка стоит 300-400 руб.

Регистрация участников

Регистрация участников будет проводиться 15 августа с 16.00 до 20.00 в гостинице «Золотая долина» и 16 июня в Институте Математики им. С.Л.Соболева СО РАН с 8.30 утра в фойе перед конференц-залом (4 этаж).

Дополнительная информация:

Внимание! Ассоциация символической логики представляет гранты для посещения конференции аспирантам и недавно защитившимся кандидатам наук. Подробная информация здесь http://www.aslonline.org/studenttravelawards.html

ДЛЯ СПРАВОК:

Адрес: 630090,Россия,
г.Новосибирск,
пр.академика Коптюга, 4
Институт математики им.С.Л. Соболева,
9-ая Азиатская конференция по логике

Телефон:

+7 383 333 28 94 (Одинцов Сергей Павлович)
Факс: +7 383 333 25 98
Внимание! В Новосибирске с 1.07.2005 введены 7-значные номера. Для номеров, начинающихся на 3,4,5 добавляется в начале 3, для остальных 2.

Эл. почта:

alc9@math.nsc.ru
Сайт: http://www.sbras.ru/ws/ALC-9/


Ваши комментарии
Обратная связь
[SBRAS]

[Головная страница]
[Конференции]

© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
    Дата последней модификации: Tuesday, 27-Sep-2005 16:13:48 NOVST