Международный симпозиум по компьютерным наукам в России
CSR International Computer Science Symposium in Russia
Сайт: http://logic.pdmi.ras.ru/~csr/
Международный симпозиум по компьютерным наукам в России (CSR - International Computer Science Symposium in Russia) ежегодно проводится с 2006 года в различных городах России. Симпозиум отражает широкий спектр международного сотрудничества в области компьютерных наук и предоставляет возможность представить результаты новейших исследований и разработок широкому кругу участников, как из России, так и из-за рубежа.
TOPICS include, but are not limited to:
- algorithms and data structures,
- algorithms for concurrent and distributed systems, networks,
- automata theory and formal languages,
- automated reasoning,
- automatic structures and applications,
- computational complexity,
- proof complexity,
- Kolmogorov complexity,
- combinatorial optimization,
- constraint solving,
- cryptography,
- combinatorics in computer science,
- computational models and concepts,
- database theory,
- description logics,
- formal concept analysis,
- games and program synthesis,
- modal logic,
- model checking,
- proof theory,
- quantum computation,
- reasoning about security and privacy,
- term rewriting,
- verification.
Повестка конференций меняется из года в год. Примерные темы конференции:
- алгоритмы и структуры данных,
- вычислительная сложность,
- комбинаторная оптимизация,
- автоматы и формальные языки,
- комбинаторика в области информатики,
- алгоритмы для параллельных и распределенных систем,
- теория доказательств и применение логики в информатике,
- проверка моделей,
- автоматизированные рассуждения,
- дедуктивные методы,
- криптография.
Организаторы конгресса | Organizers and Sponsors :
Санкт-Петербургское отделение Математического института им. В.А.Стеклова РАН / St.Petersburg Department of Steklov Institute of Mathematics (PDMI)
(See Laboratory of Mathematical Logic at PDMI)
National Research University - Higher School of Economics
Irkutsk State University
Moscow Center for Continuous Mathematical Education (MCCME)
Институт проблем информатики АН Республики Татарстан
Казанский федеральный университет.
Конференции CSR-2012 - CSR-2017 организованы совместно с European Association for Theoretical Computer Science (EATCS).
Sponsored by
Russian Foundation for Basic Research
Steering Committee:
Edward A. Hirsch (St. Petersburg Department of Steklov Institute of Mathematics, Russia),
Juhani Karhumäki (University of Turku, Finland),
Alexander Kulikov (St. Petersburg Department of Steklov Institute of Mathematics, Russia)
Ernst W. Mayr (Technische Universität München, Germany),
Alexander Razborov (University of Chicago, USA and Steklov Institute of Mathematics, Moscow, Russia),
Mikhail V. Volkov (Institute of Mathematics and Computer Sciences, Ural Federal University, Ekaterinburg, Russia)
Former members of the committee:
Volker Diekert (Stuttgart), Anna Frid (Novosibirsk)
Цели проведения:
Объединение усилий ученых различных стран в развитии фундаментальных исследований и прикладных разработок в области компьютерных наук. Рабочие языки симпозиума: русский, английский.
Труды симпозиума публикуются на английском языке издательством Шпрингер в серии Lecture Notes in Computer Science (LNCS).
Purpose and Scope
This is an annual conference that intends to reflect the broad scope of international cooperation in computer science.
In 2006-2009 the symposium consisted of two tracks: Theory Track and Applications and Technology Track, and since 2010 it has a single track.
The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.
The proceedings are published in Springer's Lecture Notes in Computer Science.
Selected papers are usually published in a special issue of Springer's Theory of Computing Systems journal.
Since 2007, Yandex provides Best Paper Awards and Best Student Paper Awards.
The conference also features a distinguished opening lecture.
Предстоящие и прошедшие конференции (и их материалы) / Future and Past Conferences:
CSR-2017 The 12th International Computer Science Symposium in Russia, June 8-12, 2017, Kazan, Russia
(In partnership with European Association for Theoretical Computer Science).
XII международный симпозиум по компьютерным технологиям в России, 8-12 июня 2017 года, Казань, Россия
Call for Papers | Committees | Program | Proceedings (LNCS)
CSR-2016 The 11th International Computer Science Symposium in Russia, June 9-13, 2016, St. Petersburg, Russia
(In partnership with European Association for Theoretical Computer Science).
XI международный симпозиум по компьютерным технологиям в России, 9-13 июня 2016 года, Санкт-Петербург, Россия
Call for Papers | Committees | Invited Speakers | Proceedings (LNCS 9691)
OPENING LECTURE: Christos H. Papadimitriou (University of California at Berkeley, USA)
CSR-2015 The 10th International Computer Science Symposium in Russia, July 13-17, 2015, Listvyanka (Lake Baikal), Irkutsk Region (Irkutsk State University), Russia
(In partnership with European Association for Theoretical Computer Science).
X международный симпозиум по компьютерным технологиям в России, 13-17 июля 2015 года, пос. Листвянка (побережье озера Байкал), Иркутская область, Россия
Это 10-я юбилейная конференция в серии регулярно проводимых конференций, начиная с CSR-2006 в Санкт-Петербурге.
First Call for Papers | Program | Committees | Accepted Papers | Invited Speakers | Associated Workshops
CONFERENCE CHAIR: Daniil Musatov (Moscow Institute for Physics and Technology, Russia)
OPENING LECTURE: Moshe Y. Vardi (Rice University, USA)
Труды конференции / Proceedings: LNCS 9139
CSR-2014 The 9th International Computer Science Symposium in Russia, June 6-12, 2014, Moscow, Russia
IX международный симпозиум по компьютерным технологиям в России, 6-12 июня 2014 года, Москва, Россия
Труды конференции / Proceedings: LNCS 8476
Editors: Edward Hirsch, Sergei O. Kuznetsov, Jean-Éric Pin, Nikolay Vereshchagin
CSR-2013 The 8th International Computer Science Symposium in Russia, June 25-29, 2013, Ekaterinburg, Russia
VIII международный симпозиум по компьютерным технологиям в России, 25-29 июня 2013 года, г. Екатеринбург (на базе Уральского Федерального Университета), Россия
English Version | Русская версия | Program Committee | Schedule | Invited speakers | Accepted papers
Associated Workshops:
The 4th Workshop on Program Semantics, Specification and Verification: Theory and Applications (June 24, 2013)
The 6th School for students and young researchers "Computer Science Ekaterinburg Days" (June 29 - July 1, 2013)
A "pre-CSR" workshop in Moscow: Franco-Russian workshop on Algorithms, complexity and applications (June 21-23, 2013)
Труды конференции / Proceedings: LNCS 7913
CSR-2012 The 7th International Computer Science Symposium in Russia, July 3-7, 2012, Nizhny Novgorod, Russia
VII международный симпозиум по компьютерным технологиям в России, 3-7 июля 2012 года, Нижний Новгород (в Государственном университете им. Н.И. Лобачевского), Россия
Конференция CSR 2012 входила в международный список мероприятий, посвященных Году Алана Тьюринга (2012).
Труды конференции / Proceedings: LNCS 7353
CSR-2011 The 6th International Computer Science Symposium in Russia, June 14-18, 2011, St.Petersburg, Russia
VI международный симпозиум по компьютерным технологиям в России, 14-18 июня 2011 года, Санкт-Петербург, Россия
Труды конференции / Proceedings: LNCS 6651
CSR-2010 The 5th International Computer Science Symposium in Russia, June 16-20, Kazan, Russia
V международный симпозиум по компьютерным технологиям в России, 16-20 июня 2010 года, г. Казань, Татарстан, Россия
Информация |
Associated Workshops:
Franco-Russian Workshop "Complexity in algorithms, dynamics and bioinformatics", June 13-15, 2010.
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010), June 14-15, 2010
International Workshop on High Productivity Computations (HPC 2010), June 21-22, 2010
Труды конференции / Proceedings: LNCS 6072
CSR-2009 The 4th International Computer Science Symposium in Russia, August 18-23, 2009, Novosibirsk, Russia
IV международный симпозиум по компьютерным технологиям в России, 18-23 августа 2009 года, г. Новосибирск (Институт математики им. С.Л. Соболева СО РАН), Россия
Информация |
Труды конференции / Proceedings: LNCS 5675
CSR-2008 The 3rd International Computer Science Symposium in Russia, June 7-12, 2008, Moscow, Russia
III международный симпозиум по компьютерным технологиям в России, 7-12 июня 2008 года, Москва, Россия
Информация
Труды конференции / Proceedings: LNCS 5010
CSR-2007 The 2nd International Computer Science Symposium in Russia, September 3-7, 2007, Ekaterinburg, Russia
II международный симпозиум по компьютерным технологиям в России, 3-7 сентября 2007 года, г. Екатеринбург, Россия
Труды конференции / Proceedings: LNCS 4649
CSR-2006 The 1st International Computer Science Symposium in Russia, June 8-12, 2006, St.Petersburg, Russia
I международный симпозиум по компьютерным технологиям в России, 8-12 июня 2006 года, Санкт-Петербург, Россия
The opening lecture: Stephen A. Cook (University of Toronto, Canada).
Труды конференции / Proceedings: LNCS 3967
