Russian version
(Created page with "== 8-ой Международный Симпозиум "Компьютерные науки в России" == ''8-ой Международный Симпозиум "Ко...") |
|||
| Line 1: | Line 1: | ||
| − | == 8-ой Международный | + | == 8-ой Международный симпозиум по компьютерным наукам в России == |
| − | ''8-ой Международный | + | ''8-ой Международный симпозиум по компьютерным наукам в России'' (CSR 2013) пройдет '''25-29 июня 2013 года''' в |
| − | '''Уральском федеральном университете, Екатеринбург | + | '''Уральском федеральном университете, г. Екатеринбург.''' |
<br /> | <br /> | ||
Симпозиум отражает широкий спектр международного сотрудничества в области компьютерных наук. CSR 2013 - восьмой по счету симпозиум в серии ежегодных мероприятий. Предыдущие симпозиумы проходили в С.-Петербурге (2006), Екатеринбурге (2007), | Симпозиум отражает широкий спектр международного сотрудничества в области компьютерных наук. CSR 2013 - восьмой по счету симпозиум в серии ежегодных мероприятий. Предыдущие симпозиумы проходили в С.-Петербурге (2006), Екатеринбурге (2007), | ||
| − | Москве (2008), Новосибирске (2009), Казани (2010), С.-Петербурге (2011) и Н.Новгороде (2012). Труды симпозиума публикуются в серии | + | Москве (2008), Новосибирске (2009), Казани (2010), С.-Петербурге (2011) и Н.Новгороде (2012). Труды симпозиума публикуются издательством Шпрингер в серии Lecture Notes in Computer Science. |
| Line 17: | Line 17: | ||
| Срок подачи работ: || <s>до 11 декабря 2012 '''продлен до 20 декабря 2012''' (23:59 GMT)</s> прошел | | Срок подачи работ: || <s>до 11 декабря 2012 '''продлен до 20 декабря 2012''' (23:59 GMT)</s> прошел | ||
|- | |- | ||
| − | | Извещение: || <s>13 февраля 2013</s> прошел | + | | Извещение о приеме: || <s>13 февраля 2013</s> прошел |
|- | |- | ||
| Окончательная версия: || <s>до 8 марта 2013</s> прошел | | Окончательная версия: || <s>до 8 марта 2013</s> прошел | ||
| Line 36: | Line 36: | ||
<big> '''Темы симпозиума'''</big> | <big> '''Темы симпозиума'''</big> | ||
| − | включают алгоритмы и структуры данных, автоматы и формальные языки, комбинаторную оптимизацию, | + | включают алгоритмы и структуры данных, автоматы и формальные языки, комбинаторную оптимизацию, задачи о выполнении ограничений, сложность вычислений, криптографию, комбинаторику в компьютерных науках, вычислительные модели, алгоритмы для параллельных и распределенных вычислений, сети, теорию доказательств и приложения логики к компьютерным наукам, проверку моделей, автоматизированные рассуждения, дедуктивные методы. |
| Line 45: | Line 45: | ||
Уральский федеральный университет — крупнейший ВУЗ Урала, ведущий научно-образовательный центр региона и один из крупнейших вузов Российской Федерации. В нём обучаются около 57 000 студентов, в том числе около 32 000 студентов очной формы обучения (по этому показателю УрФУ сопоставим только с МГУ и ЮФУ). Учебный процесс обеспечивают более 5600 преподавателей, среди них более 650 докторов наук и около 2100 кандидатов наук, более 30 членов государственных академий. Обучение осуществляется по 64 направлениям бакалавриата, 26 направлениям магистратуры, 126 специальностям аспирантуры и 42 специальностям докторантуры. В университете действуют 30 диссертационных советов. | Уральский федеральный университет — крупнейший ВУЗ Урала, ведущий научно-образовательный центр региона и один из крупнейших вузов Российской Федерации. В нём обучаются около 57 000 студентов, в том числе около 32 000 студентов очной формы обучения (по этому показателю УрФУ сопоставим только с МГУ и ЮФУ). Учебный процесс обеспечивают более 5600 преподавателей, среди них более 650 докторов наук и около 2100 кандидатов наук, более 30 членов государственных академий. Обучение осуществляется по 64 направлениям бакалавриата, 26 направлениям магистратуры, 126 специальностям аспирантуры и 42 специальностям докторантуры. В университете действуют 30 диссертационных советов. | ||
| − | <big> ''' | + | <big> '''Открывающая лекция''' </big> |
<br/> | <br/> | ||
| − | + | Марио Сегеди (Университет Рутгерс) | |
<big> '''Организаторы''' </big> | <big> '''Организаторы''' </big> | ||
| Line 57: | Line 57: | ||
| − | <big >''' Председатель программного комитета '''</big> <br/> [http://www.cs.sfu.ca/~abulatov/ Андрей Булатов], | + | <big >''' Председатель программного комитета '''</big> <br/> [http://www.cs.sfu.ca/~abulatov/ Андрей Булатов], Университет Саймона Фрейзера, Канада |
| − | <big>'''Премии | + | <big>'''Премии Яндекса'''</big> будут вручены авторам лучшей работы и лучшей студенческой работы. |
Latest revision as of 12:36, 13 March 2013
[edit] 8-ой Международный симпозиум по компьютерным наукам в России
8-ой Международный симпозиум по компьютерным наукам в России (CSR 2013) пройдет 25-29 июня 2013 года в
Уральском федеральном университете, г. Екатеринбург.
Симпозиум отражает широкий спектр международного сотрудничества в области компьютерных наук. CSR 2013 - восьмой по счету симпозиум в серии ежегодных мероприятий. Предыдущие симпозиумы проходили в С.-Петербурге (2006), Екатеринбурге (2007),
Москве (2008), Новосибирске (2009), Казани (2010), С.-Петербурге (2011) и Н.Новгороде (2012). Труды симпозиума публикуются издательством Шпрингер в серии Lecture Notes in Computer Science.
Важные даты
| Срок подачи работ: | |
| Извещение о приеме: | |
| Окончательная версия: | |
| Ранняя регистрация: | до 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 
1cm 
1cm 
