ru1.cti.gr

eatcs.org

ALGO 2015

http://www.eatcs.org/index.php/component/content/article/1-news/2108-algo-2015

14-18 September 2015, Patras, Greece. Http:/ algo2015.upatras.gr/. ALGO is an annual event combining the premier algorithmic conferenceEuropean Symposium on Algorithms (ESA) along with a number of specialized conferences and workshops (ALGOCLOUD, ALGOSENSORS, ATMOS, IPEC, MASSIVE, WAOA) all related to algorithms and their applications, making ALGO the major European event for researchers, students and practitioners in algorithms.

eatcs.org

EATCS Bulletin

http://www.eatcs.org/index.php/eatcs-bulletin

Three issues of the. Are published annually appearing in February, June and October respectively. Is a medium for rapid publication and wide distribution of material such as:. Information about the current ICALP. Reports on computer science departments and institutes. Listings of technical reports and publications. Open problems and solutions. Abstracts of PhD Theses. Information on visitors at various institutions. Entertaining contributions and pictures related to computer science.

eatcs.org

Social Media

http://www.eatcs.org/index.php/social-media-accounts

To find out the latest information on EATCS news, activities, conferences, and much more, find us via social media:. Https:/ www.facebook.com/eatcs. Https:/ twitter.com/eatcs secretary. Https:/ plus.google.com/b/112559236052381533540/112559236052381533540/about/p/pub. European Association for Theoretical Computer Science. Http:/ www.youtube.com/channel/UChc3QOHDEbDdPRErx1uSl6A. European Association for Theoretical Computer Science - Maintained and hosted by RU1.

eatcs.org

Awards

http://www.eatcs.org/index.php/eatcs-awards

One of the major activities of the association is to promote research in theoretical computer science. EATCS attempts to stimulate scientific excellence by supporting and encouraging the very best, truly creative scientists, scholars and engineers. This is done by sponsoring and co-sponsoring the following scientific awards:. EATCS Distinguished Dissertation Award. Best Student ICALP Paper. Best Student ESA Paper. Best Student MFCS Paper.

eatcs.org

Gödel Prize 2015

http://www.eatcs.org/index.php/component/content/article/1-news/2117-goedel-prize-2015

I am happy to inform you that the Gödel Prize 2015 is awarded to Daniel A. Spielman. For their series of. Papers on nearly-linear-time Laplacian solvers:. Spectral sparsification of graphs. SIAM J. Computing 40:981-1025, 2011. A local clustering algorithm for massive graphs and its application to nearly linear time graph partitioning. SIAM J. Computing 42:1-26, 2013. The full citation for the award, which is presented jointly by ACM SIGACT and the EATCS, is available at.

eatcs.org

The 2015 Edsger W. Dijkstra Prize in Distributed Computing

http://www.eatcs.org/index.php/component/content/article/1-news/2118-the-2015-edsger-w-dijkstra-prize-in-distributed-computing

The 2015 Edsger W. Dijkstra Prize in Distributed Computing. The E W. Dijkstra Prize Committee has decided to grant the 2015 Edsger W. Dijkstra Prize in Distributed Computing jointly to the following two papers:. Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols, by Michael Ben-Or. Published in Proceedings of the Second ACM Symposium on Principles of Distributed Computing, pages 27-30, August 1983. Randomized Byzantine Generals, by Michael O. Rabin. In 1983, randomized algorith...

eatcs.org

How to Join

http://www.eatcs.org/index.php/how-to-join

The easiest way to join EATCS is directly from Register. Where you will find an online registration form with the possibility of secure online payment. Alternatively, contact the. Computer Technology Institute and Press (CTI),. 1 N Kazantzaki Str.,. University of Patras campus,. 26504, Rio, Greece. Tel: ( 30) 2610 960333. Fax: ( 30) 2610 960490. Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it. BNP Paribas Fortis Bank,. IBAN code: BE 15 2200 5963 5030.

eatcs.org

Login

https://www.eatcs.org/index.php/members

To access the private area of this site, please log in. European Association for Theoretical Computer Science - Maintained and hosted by RU1.

eatcs.org

EATCS Chapters

http://www.eatcs.org/index.php/organization

One of the EATCS chapters is the French Chapter. Association Française d'Informatique Théorique, which is currently headed by Jean Pierre Jouannaud. Among its aims is to promote research into theoretical computer science in France, coordinate workshops, seminars and research projects, and to facilitate the exchange of students, researchers and research results. (The web page. Is in french.). Is headed by Tiziana Calamoneri. Is in english.). Is headed by Osamu Watanabe. Is in english/japanese.). European ...

eatcs.org

CALL FOR PAPERS - GandALF 2015

http://www.eatcs.org/index.php/component/content/article/1-news/2107-call-for-papers-gandalf-2015

CALL FOR PAPERS - GandALF 2015. The Sixth International Symposium on Games, Automata, Logics and Formal Verification will take place in Genoa, Italy, from September 21to 23. Web page: http:/ gandalf2015.dibris.unige.it. The topics covered by the conference include, but are not limited to, the following:. Computational aspects of Game Theory. Concurrency and Distributed computation. Deductive, Compositional, and Abstraction Techniques for Verification. First-order and Higher-order Logics. Format (please u...