[DL] CSR 2014: Call for Participation

[Edward A. Hirsch]

Dear Colleagues,

Please find below the Call for Participation for CSR-2014.

If you need a visa to come to Russia (most nationalities do need it!),
please register and ask for the official invitation *NOW* 
to be on time with the official papers.
It is recommended to do it before March 15.
In any case, please do it before the early registration deadline March 31.

The preliminary program can be now found at
  http://logic.pdmi.ras.ru/csr2014/program

A limited number of travel grants is available (with preference to
students and authors of accepted papers).

Best regards,
Jean-Eric Pin (program committee chair)
Edward A. Hirsch, Sergei O. Kuznetsov, Nikolay K. Vereshchagin (symposium co-chairs)

%%%

		LAST CALL FOR PARTICIPATION - CSR 2014

    9th International Computer Science Symposium in Russia
                 June 7-11, 2014, Moscow, Russia
                  Workshops on June 5, 6 and 12

                 http://logic.pdmi.ras.ru/csr2014/

             *** PLEASE REGISTER AS SOON AS POSSIBLE ***

The conference program features

* Distinguished opening lecture:
  - Shafi Goldwasser. Title TBA.

* Six invited talks:
  - Benjamin Rossman. Formulas vs. Circuits
  - Volker Diekert. Finding All Solutions of Equations 
    in Free Groups and Monoids with Involution
  - Alexei Semenov. The Lattice of Definability. 
    Origins, Recent Developments, and Further Direction
  - Igor Walukiewicz. Transfer theorems
  - Martin Grohe. Algorithmic Meta Theorems for Sparse Graph Classes
  - Mark Braverman. Title TBA

* 27 contributed talks (see the conference program)
  that have been selected out of 76 submissions.

* Four associated workshops:
  - Workshop on Current Trends in Cryptology (CTCrypt)
    (organizer: Technical committee on standardization 
    "Cryptography and security mechanisms" (TC26))
    http://www.tc26.ru/en/CTCryptEN/CTCrypt2014/
  - Extremal graph theory
    (organizer: Andrei Raigorodsky)
    http://logic.pdmi.ras.ru/csr2014/extremalgraphtheory
  - New directions in cryptography
    (organizers: A.V.Mikhalev, A.A.Mikhalev, S.Glavatsky, D.Grigoriev, and V.Shpilrain)
    http://ndc14.ru/
  - Program Semantics, Specification and Verification (PSSV 2014)
    (organizers: V.A.Sokolov and V.A.Nepomnyaschij)
    (see the conference web page)

Further information and contacts:
 Web: http://logic.pdmi.ras.ru/csr2014
 Email: csr2014 "at" googlegroups.com

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