[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 8th International Computer Science Symposium in Russia (CSR 2013): Call for Papers



Dear Colleagues,

Please find below the First Call for Papers for CSR-2013.

We apologize for possible multiple postings.

UNSUBSCRIPTION: If you do not wish to receive any news
regarding CSR conferences, please reply to this mail
and I will remove you from the mailing list.

*******************************************************************************

First Call for Papers

8th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2013)

June 25-29, 2013, Ekaterinburg, Russia

http://csr2013.urfu.ru/

*******************************************************************************

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
Conference dates:               June 25-29, 2013

As it has become a tradition, there will be YANDEX AWARDs
for the best paper and for the best student paper!

VENUE

Ekaterinburg is a large city in the heart of Russia, 1600 km (a 2 hour
flight) east from Moscow. It is the capital city as well as the main
financial, cultural, and scientific centre of the Ural region.
Ekaterinburg is accessible by direct regular flights of a number of
international airlines including Lufthansa, Aeroflot, Finnair,
Czech Airlines, Turkish Airlines, and FlyDubai. Ural Federal
University is the largest Russian university outside Moscow.

TOPICS include, but are not limited to:

* 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

CONFIRMED INVITED SPEAKERS

* Thomas Colcombet (CNRS)
* Gilles Dowek (INRIA)
* Alexandr Kostochka (University of Illinois at Urbana-Champaign /
Novosibirsk State University)
* Nicole Schweikardt (Goethe University)
* Jeffrey Shallit  (University of Waterloo)
* Ryan Williams (Stanford University)

PROGRAM COMMITTEE

* Max Alekseyev (University of South Carolina)
* Andris Ambainis (University of Latvia)
* Maxim  Babenko (Higher School of Economics, Moscow)
* Patrick Baillot (ENS Lyon)
* Glencora Borradaile (Oregon State University)
* Andrei Bulatov (Simon Fraser University)  Chair
* Yijia  Chen (Shanghai Jiao Tong University)
* Victor  Dalmau (University Pompeu Fabra)
* Yevgeniy Dodis (Courant Institute of Mathematical Sciences)
* Manfred Droste (University Leipzig)
* Anna Frid (Sobolev Institute of Mathematics)
* Hamed Hatami (McGill University)
* Tero  Harju (University of Turku)
* Michal  Koucky (Mathematical Institute of Czech Academy of Sciences)
* Stephan Kreutzer (Tecnical University of Berlin)
* Alexander Kulikov (Steklov Institute of Mathematics at St. Petersburg)
* Konstantin  Makarychev (Microsoft Research  at Redmond)
* Simone Martini (University of Bologna)
* Jaroslav Nesetril (Charles University)
* Jean-Eric Pin (University Paris 7)
* Harald Raecke (University of Munich)
* Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
* Mikhail Volkov (Ural Federal University)

ORGANIZERS

B.N.Yeltsin Ural Federal University, Ekaterinburg, Russia

CONFERENCE CHAIR

Arseny Shur (Ural Federal University)

SUBMISSIONS

Authors are invited to submit an extended abstract or a full paper of
at most 12 pages in the LNCS format (LaTeX, as pdf; final version with
source), in English; instructions can be found at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.
Proofs and other material omitted due to space constraints are to be put
into a clearly marked appendix to be read at discretion of the referees.
Papers must present original (and not previously published) research.
Simultaneous submission to journals or to other conferences with published
proceedings is not allowed. The proceedings of the symposium will be
published in Springer's LNCS series. Accepted papers MUST be presented at
the symposium.

Submissions should be uploaded to the EasyChair Conference system:
http://www.easychair.org/conferences/?conf=csr2013

FURTHER INFORMATION AND CONTACTS

Web:    http://csr2013.urfu.ru/
Email:  csr2013@xxxxxxx