Welcome
Pribavkina (Talk | contribs) |
Pribavkina (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | + | == The 8th International Computer Science Symposium in Russia == | |
| − | + | The 8th ''International Computer Science Symposium in Russia'' (CSR 2013) will take place at the | |
| + | '''Ural Federal University, Ekaterinburg, Russia''' on '''June 25-29, 2013'''. | ||
| + | <br /> | ||
| + | CSR 2013 intends to reflect the broad scope of international cooperation in computer science. It is the | ||
| + | eighth conference in a series of regular events previously held in St.Petersburg (2006), Ekaterinburg (2007), | ||
| + | Moscow (2008), Novosibirsk (2009), Kazan (2010), St.Petersburg (2011), and Nizhny Novgorod (2012). The | ||
| + | proceedings are published in Springer LNCS. | ||
| − | + | <big> '''Important Dates''' </big> | |
| − | + | {| | |
| − | + | |- | |
| − | + | | Deadline for submissions: || December 11, 2012 | |
| + | |- | ||
| + | | Notification of acceptance: || February 13, 2013 | ||
| + | |- | ||
| + | | Early registration deadline: || TBA | ||
| + | |- | ||
| + | | Conference dates: || June 25-29, 2013 | ||
| + | |} | ||
| + | |||
| + | <big> '''Topics include'''</big> | ||
| + | algorithms and data structures, automata and formal languages, combinatorial optimization, constraint solving, computational complexity, cryptography, combinatorics in computer science, computational models and concepts, algorithms for concurrent and distributed systems, networks, proof theory and applications of logic to computer science, model checking, automated reasoning, deductive methods. | ||
| + | |||
| + | <big> '''Opening lecture''' </big> | ||
| + | <br/> | ||
| + | TBA | ||
| + | |||
| + | |||
| + | <big> '''Organizers''' </big> | ||
| + | <br/> | ||
| + | B. N. Eltsin Ural Federal University, Ekaterinburg, Russia | ||
| + | |||
| + | |||
| + | <big> '''Conference Chair'''</big> <br/> [http://kadm.math.usu.ru/pages.php?id=shureng Arseny Shur], Ural Federal University, Russia | ||
| + | |||
| + | |||
| + | <big >''' Program Committee Chair '''</big> <br/> [http://www.cs.sfu.ca/~abulatov/ Andrei Bulatov], Simon Fraser University, Canada | ||
| + | |||
| + | |||
| + | <big>'''Yandex'''</big> sponsors the best paper and the best student paper awards given by the program committee. | ||
| + | |||
| + | |||
| + | <big>'''Contacts'''</big> | ||
| + | csr2013@urfu.ru | ||
| + | |||
| + | |||
| + | <big> '''Sponsors''' </big> | ||
Revision as of 09:30, 24 August 2012
The 8th International Computer Science Symposium in Russia
The 8th International Computer Science Symposium in Russia (CSR 2013) will take place at the
Ural Federal University, Ekaterinburg, Russia on June 25-29, 2013.
CSR 2013 intends to reflect the broad scope of international cooperation in computer science. It is the
eighth conference in a series of regular events previously held in St.Petersburg (2006), Ekaterinburg (2007),
Moscow (2008), Novosibirsk (2009), Kazan (2010), St.Petersburg (2011), and Nizhny Novgorod (2012). The
proceedings are published in Springer LNCS.
Important Dates
| Deadline for submissions: | December 11, 2012 |
| Notification of acceptance: | February 13, 2013 |
| Early registration deadline: | TBA |
| Conference dates: | June 25-29, 2013 |
Topics include algorithms and data structures, automata and formal languages, combinatorial optimization, constraint solving, computational complexity, cryptography, combinatorics in computer science, computational models and concepts, algorithms for concurrent and distributed systems, networks, proof theory and applications of logic to computer science, model checking, automated reasoning, deductive methods.
Opening lecture
TBA
Organizers
B. N. Eltsin Ural Federal University, Ekaterinburg, Russia
Conference Chair
Arseny Shur, Ural Federal University, Russia
Program Committee Chair
Andrei Bulatov, Simon Fraser University, Canada
Yandex sponsors the best paper and the best student paper awards given by the program committee.
Contacts
csr2013@urfu.ru
Sponsors
