CSR-2009: First Call for Papers

CSR-2009: First Call for Papers

Post by hirsc » Fri, 12 Sep 2008 15:53:26


************** We apologize for multiple copies ******************************

First Call for Papers

4th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2009)

August 18-23, 2009, Novosibirsk, Russia

http://math.nsc.ru/conference/csr2009/index.shtml

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

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
Conference dates: August 18-23, 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:

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


Program committee of Applications and Technology Track is:

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


ORGANIZERS:

Sobolev Institute of Mathematics SB RAS.

Conference 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 omi
 
 
 

1. CSR-2009: Second Call for Papers

2. Call for Papers: The 2009 International Conference of Information Engineering (ICIE 2009)

3. Call for Papers: The 2009 International Conference of Financial Engineering (ICFE 2009)

4. Call for Papers: The 2009 International Conference on Artificial Intelligence (ICAI'09), USA, July 13-16, 2009

5. Call for Papers: The 2009 International Conference on Data Mining (DMIN'09), USA, July 13-16, 2009

6. Call for Papers: The 2009 International Conference on Artificial Intelligence (ICAI'09), USA, July 13-16, 2009

7. Call for Papers Reminder (2009): IAENG International Conference on Bioinformatics (ICB 2009)

8. Call for Papers: The 2009 International Conference of Information Security and Internet Engineering (ICISIE 2009)

9. Call for Papers: The 2009 International Conference on Artificial Intelligence (ICAI'09), USA, July 13-16, 2009

10. Call for Papers: The 2009 International Conference of Parallel and Distributed Computing (ICPDC 2009)

11. Call for Papers: The 2009 International Conference on Data Mining (DMIN'09), USA, July 13-16, 2009

12. Call for Papers - 5th International Colloquium on Signal Processing & Its Applications 2009 (CSPA 2009)

13. Call for Papers: The 2009 International Conference of Information Engineering (ICIE 2009)

14. Call for Papers: The 2009 International Conference on Internet Computing (ICOMP'09), USA, July 13-16, 2009

15. Call for Papers: The 2009 International Conference on Wireless Networks (ICWN'09), USA, July 13-16, 2009