View source for CSR 2009

{{Event
|Acronym=CSR 2009
|Title=4th International Computer Science Symposium in Russia
|Series=CSR
|Type=Conference
|Field=Computer science
|Start date=2009/08/18
|End date=2009/08/23
|Homepage=math.nsc.ru/conference/csr2009
|City=Novosibirsk
|Country=Russia
|Submission deadline=2008/11/26
|Notification=2009/02/03
}}
CSR 2009 intends to reflect the broad scope of international cooperation in 
computer science. It is the 4th conference in a series of regular events 
started with CSR 2006 in St.Petersburg (see LNCS 3967), CSR 2007 in 
Ekaterinburg (see LNCS 4649), and CSR 2008 in Moscow (see LNCS 5010). As usual, 
CSR 2009 consists of two tracks: Theory Track and Applications and Technology 
Track. 


==IMPORTANT DATES==

* Deadline for submissions: November 26, 2008
* Notification of acceptance: February 3, 2009

==TOPICS==

Theory Track topics include
* algorithms and data structures
* complexity and cryptography
* formal languages and automata
* computational models and concepts
* proof theory and applications of logic to computer science.


Application Track topics include
* abstract interpretation
* model checking
* automated reasoning
* deductive methods
* constraint solving
* functional and declarative languages
* type systems
* software engineering
* development methodologies 
for design, development, testing, analysis, and verification of correct 
and reliable systems.


==OPENING LECTURE==

Andrei Voronkov (University of Manchester).


==PROGRAM COMMITTEES==

Program committee of Theory Track is: 

* [[has PC member::Farid Ablayev]], Kazan State University
* [[has PC member::Sergei N. Artemov]], City University of New York
* [[has PC member::Lev Beklemishev]], Steklov Inst., Moscow
* [[has PC member::Veronique Bruyere]], Universite de Mons-Hainaut
* [[has PC member::Cristian Calude]], University of Auckland
* [[has PC member::Christian Glasser]], Universitaet Wuerzburg
* [[has PC member::Dima Grigoriev]], Institut de Recherche Mathematique de Rennes
* [[has PC member::Dietrich Kuske]], Universitaet Leipzig
* [[has PC member::Larisa Maksimova]], IM, Novosibirsk
* [[has PC member::Andrei Mantsivoda]], Irkutsk State University
* [[has PC member::Yuri Matiyasevich]], Steklov Institute, St.Petersburg
* [[has PC member::Elvira Mayordomo]], Universidad de Zaragoza
* [[has PC member::Pierre McKenzie]], Universite de Montreal
* [[has program chair::Andrey S. Morozov]], IM, Novosibirsk (co-chair)
* [[has PC member::Jean-Eric Pin]], LIAFA, Paris
* [[has PC member::Kai Salomaa]], Queen's University, Kingston, Canada
* [[has PC member::Victor Selivanov]], Novosibirsk Pedagogical University
* [[has PC member::Ludwig Staiger]], Universitaet Halle-Wittenberg
* [[has program chair::Klaus W. Wagner]], Universitaet Wuerzburg (co-chair)


Program committee of Applications and Technology Track is: 

* [[has PC member::Thomas Ball]], Microsoft Research
* [[has PC member::Josh Berdine]], Microsoft Research
* [[has PC member::Bart Demoen]], K.U. Leuven
* [[has PC member::Franjo Ivancic]], NEC Laboratories America
* [[has PC member::Martin Leucker]], TU Munich
* [[has PC member::Rupak Majumdar]], University of California, Los Angeles
* [[has PC member::Greg Morrisett]], Harvard University
* [[has PC member::Arnd Poetzsch-Heffter]], University of Kaiserslautern
* [[has PC member::Andreas Rossberg]], MPI-SWS
* [[has PC member::Andrey Rybalchenko]], MPI-SWS (chair)
* [[has PC member::Alexander Serebrenik]], TU Eindhoven
* [[has PC member::Henny Sipma]], Stanford University
* [[has PC member::Natasha Sharygina]], University of Lugano
* [[has PC member::Helmut Veith]], TU Darmstadt
* [[has PC member::Eran Yahav]], IBM Research
* [[has PC member::Andreas Zeller]], Universitaet des Saarlandes


==ORGANIZERS==

Sobolev Institute of Mathematics SB RAS.

Conference chair: [[has general chair::Anna Frid]]


==SUBMISSIONS==

Authors are invited to submit an extended abstract or a full paper of at most 
10 pages in the LNCS format (the instructions on it can be found here: 
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-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 submissions 
to journals or to other conferences with published proceedings are not 
allowed. The proceedings of the symposium will be published in Springer's 
LNCS series.  

Submissions should be uploaded at EasyChair Conference system: 
http://www.easychair.org/conferences/?conf=csr09 .

==FURTHER INFORMATION AND CONTACTS==

Web: http://math.nsc.ru/conference/csr2009/index.shtml
Email: csr2009@math.nsc.ru
Acronym	CSR 2009 +
End date	August 23, 2009 +
Event in series	CSR +
Event type	Conference +
Has PC member	Farid Ablayev +, Sergei N. Artemov +, Lev Beklemishev +, Veronique Bruyere +, Cristian Calude +, Christian Glasser +, Dima Grigoriev +, Dietrich Kuske +, Larisa Maksimova +, Andrei Mantsivoda +, Yuri Matiyasevich +, Elvira Mayordomo +, Pierre McKenzie +, Jean-Eric Pin +, Kai Salomaa +, Victor Selivanov +, Ludwig Staiger +, Thomas Ball +, Josh Berdine +, Bart Demoen +, Franjo Ivancic +, Martin Leucker +, Rupak Majumdar +, Greg Morrisett +, Arnd Poetzsch-Heffter +, Andreas Rossberg +, Andrey Rybalchenko +, Alexander Serebrenik +, Henny Sipma +, Natasha Sharygina +, Helmut Veith +, Eran Yahav + and Andreas Zeller +
Has coordinates	55° 1' 42", 82° 55' 24"Latitude: 55.028216666667 Longitude: 82.92345 +
Has general chair	Anna Frid +
Has location city	Novosibirsk +
Has location country	Category:Russia +
Has program chair	Andrey S. Morozov + and Klaus W. Wagner +
Homepage	http://math.nsc.ru/conference/csr2009 +
IsA	Event +
Notification	February 3, 2009 +
Start date	August 18, 2009 +
Submission deadline	November 26, 2008 +
Title	4th International Computer Science Symposium in Russia +