CSR 2014: Call for Participation

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.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]