CSR 2009

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 for design, development, testing, analysis, and verification of correct and reliable systems.
 * abstract interpretation
 * model checking
 * automated reasoning
 * deductive methods
 * constraint solving
 * functional and declarative languages
 * type systems
 * software engineering
 * development methodologies

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