The 8th International Computer Science Symposium in Russia

25-29 июня 2013 года в Екатеринбурге, на базе Уральского Федерального Университета, пройдет 8-ой Международный Симпозиум по Компьютерным Наукам.

Конференция будет посвещенна:

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