Saturday, March 22, 2014

[DMANET] CSR 2014: Call for Participation

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************