Международный Симпозиум по Информатике в России CSR-2006
(Санкт-Петербург)
16 декабря 2005 21:40
регион:
Санкт-Петербург
город:
Санкт-Петербург
место проведения:
С.-Петербургское отделение Математического института им. В.А.Стеклова РАН
области знаний:
- информатика и вычислительная техника
- математика
тип мероприятия:
симпозиум
статус мероприятия:
международное
название:
Международный Симпозиум по Информатике в России CSR-2006
организаторы мероприятия:
- С.-Петербургское отделение Математического института им. В.А.Стеклова РАН
-
Международный Математический Институт им. Эйлера
-
Американский Фонд Гражданских Исследований и Развития (CRDF)
окончание регистрации:
30 ноября 2005
начало мероприятия:
08 июня 2006
возможность публикации:
научная статья
контакты:
- http://www.easychair.org/CSR-2006/submit/
ссылка:
сайт с информацией
дополнительно:
CDRF-2006Секция Теория
- алгоритмы, протоколы, структуры данных;
- сложность и криптография;
- формальные языки, автоматы и их приложения в информатике;
- вычислительные модели и концепции;
- теория доказательств и приложения логики в информатике.
Секция приложений и технологий
- Программирование и языки
– Объектно-ориентированные языки
– Функционально программирование
– Оптимизация и синтез
– Разработка языков программирования
– Проектирование программного обеспечения
– Программное обеспечение с открытым кодом
- Архитектура и построение ЭВМ
– Архитектура ЭВМ
– VLSI проектирование
– Автоматическое проектирование
– Аттестация (Validation)
– Формальная верификация
– Языки аппаратного проектирования
– Символьные вычисления и численные приложения
– Арифметика с плавающей точкой
– Методы вычислений
- Символьные вычисления и компьютерная алгебра
– Автоматические доказательства
– Оптимизация и математическое программирование
– Математическое программное обеспечение
- Прикладное программное обеспечение
– Операционные системы
– Базы данных
– Распределенные системы
– Компиляторы
– Мобильные вычисления
– Графика
– Биоинформатика
- Искусственный интеллект и робототехника
– Распознавание образов
– Обработка речи
– Обработка естественных языков
– Вычислительная лингвистика
– Компьютерное зрение
– Машинное обучение
– Робототехника
приложенные файлы:
|