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/ ]