Мероприятия

« вернуться к списку

версия для печати

Международный Симпозиум по Информатике в России CSR-2006

регион: Санкт-Петербург

город: Санкт-Петербург

место проведения: С.-Петербургское отделение Математического института им. В.А.Стеклова РАН

области знаний:

• информатика и вычислительная техника
• математика

тип мероприятия: симпозиум

статус мероприятия: международное

название: Международный Симпозиум по Информатике в России CSR-2006

организаторы мероприятия:

• С.-Петербургское отделение Математического института им. В.А.Стеклова РАН
• Международный Математический Институт им. Эйлера
• Американский Фонд Гражданских Исследований и Развития (CRDF)

окончание регистрации: 30 ноября 2005

начало мероприятия: 08 июня 2006

возможность публикации: научная статья

контакты:

• http://www.easychair.org/CSR-2006/submit/

ссылка: сайт с информацией

дополнительно:

CDRF-2006Секция Теория

• алгоритмы, протоколы, структуры данных;
• сложность и криптография;
• формальные языки, автоматы и их приложения в информатике;
• вычислительные модели и концепции;
• теория доказательств и приложения логики в информатике.

• Программирование и языки
  – Объектно-ориентированные языки
  – Функционально программирование
  – Оптимизация и синтез
  – Разработка языков программирования
  – Проектирование программного обеспечения
  – Программное обеспечение с открытым кодом
• Архитектура и построение ЭВМ
  – Архитектура ЭВМ
  – VLSI проектирование
  – Автоматическое проектирование
  – Аттестация (Validation)
  – Формальная верификация
  – Языки аппаратного проектирования
  – Символьные вычисления и численные приложения
  – Арифметика с плавающей точкой
  – Методы вычислений
• Символьные вычисления и компьютерная алгебра
  – Автоматические доказательства
  – Оптимизация и математическое программирование
  – Математическое программное обеспечение
• Прикладное программное обеспечение
  – Операционные системы
  – Базы данных
  – Распределенные системы
  – Компиляторы
  – Мобильные вычисления
  – Графика
  – Биоинформатика
• Искусственный интеллект и робототехника
  – Распознавание образов
  – Обработка речи
  – Обработка естественных языков
  – Вычислительная лингвистика
  – Компьютерное зрение
  – Машинное обучение
  – Робототехника

приложенные файлы:

• 613-05.pdf

Обсуждение

Добавить комментарий

Обсуждение материалов доступно только после регистрации.

« к началу страницы