Russian version

From CSR 2013
Jump to: navigation, search

8-ой Международный симпозиум по компьютерным наукам в России

8-ой Международный симпозиум по компьютерным наукам в России (CSR 2013) пройдет 25-29 июня 2013 года в Уральском федеральном университете, г. Екатеринбург.
Симпозиум отражает широкий спектр международного сотрудничества в области компьютерных наук. CSR 2013 - восьмой по счету симпозиум в серии ежегодных мероприятий. Предыдущие симпозиумы проходили в С.-Петербурге (2006), Екатеринбурге (2007), Москве (2008), Новосибирске (2009), Казани (2010), С.-Петербурге (2011) и Н.Новгороде (2012). Труды симпозиума публикуются издательством Шпрингер в серии Lecture Notes in Computer Science.


Springer logo.jpg LNCS logo.jpg


Важные даты

Срок подачи работ: до 11 декабря 2012 продлен до 20 декабря 2012 (23:59 GMT) прошел
Извещение о приеме: 13 февраля 2013 прошел
Окончательная версия: до 8 марта 2013 прошел
Ранняя регистрация: до 15 мая 2013
Симпозиум: 25-29 июня 2013


Регистрация открыта. Чтобы зарегистрироваться, посетите страницу Registration and Fees.


Программа Предварительная программа доступна здесь. Если Вы не сможете сделать доклад в запланированное время, пожалуйста, сообщите нам.


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


Место проведения
Екатеринбург - административный центр Свердловской области, четвёртый по численности населения (после Москвы, Санкт-Петербурга и Новосибирска) город в России. Транспортно-логистический узел на Транссибирской магистрали, крупный промышленный центр (оптико-механическая промышленность, приборостроение и тяжёлое машиностроение, металлургия, полиграфическая промышленность, лёгкая и пищевая промышленность, военно-промышленный комплекс). Екатеринбург — административный, культурный, научно-образовательный центр Уральского региона, наделённый статусом центра Уральского федерального округа; также здесь располагается штаб Центрального военного округа, Президиум Уральского отделения Российской академии наук, и 35 территориальных органов федеральной власти, из-за чего город ещё называют «столицей Урала».

Уральский федеральный университет — крупнейший ВУЗ Урала, ведущий научно-образовательный центр региона и один из крупнейших вузов Российской Федерации. В нём обучаются около 57 000 студентов, в том числе около 32 000 студентов очной формы обучения (по этому показателю УрФУ сопоставим только с МГУ и ЮФУ). Учебный процесс обеспечивают более 5600 преподавателей, среди них более 650 докторов наук и около 2100 кандидатов наук, более 30 членов государственных академий. Обучение осуществляется по 64 направлениям бакалавриата, 26 направлениям магистратуры, 126 специальностям аспирантуры и 42 специальностям докторантуры. В университете действуют 30 диссертационных советов.

Открывающая лекция
Марио Сегеди (Университет Рутгерс)

Организаторы
Уральский федеральный университет, Екатеринбург, Россия


Председатель симпозиума
Арсений Шур, Уральский федеральный университет, Россия


Председатель программного комитета
Андрей Булатов, Университет Саймона Фрейзера, Канада


Премии Яндекса будут вручены авторам лучшей работы и лучшей студенческой работы.


Контакты csr2013@urfu.ru


Спонсоры 1cm SKB Kontur.png 1cm EW.jpg 1cm Yandex strelka.jpg

Personal tools
Namespaces

Variants
Actions
CSR 2013
Navigation
Toolbox