EATCS Bulletin Issue 125 is available online

The 125th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/issue/view/27, featuring:

- "Recent progress on scaling algorithms and applications", by Ankit Garg, Rafael Oliveira
- "The Distributed Minimum Spanning Tree Problem", by  Gopal Pandurangan, Peter Robinson, Michele Scquizzato
- "Extending Causal Consistency to any Object Defined by a Sequential Specification", by Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
- "If You’re Not Writing a Program, Don’t Use a Programming Language", by Leslie Lamport
- "Conferences WORDS, years 1997-2017: Open Problems and Conjectures", by Jean Néraud
- "Negative probabilities, II What they are and what they are for", by Andreas Blass, Yuri Gurevich

You can download a pdf with the printed version of the bulletin from http://www.eatcs.org/images/bulletin/beatcs125.pdf

e-max.it: your social media marketing partner
Read more...
 

Presburger Award 2018

The 2018 Presburger Committee consisting of Monika Henzinger, Stephan Kreutzer (chair) and Jukka Suomela has completed its deliberations and unanimously selected Aleksander Mądry as recipient of the 2018 EATCS Presburger Award for young scientists.

e-max.it: your social media marketing partner
Read more...
 

EATCS Distinguished Dissertation Award for 2018

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2018, consisting of Giuseppe Persiano (chair), Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg and Vladimiro Sassone has selected the following three theses for the EATCS Distinguished Dissertation Award for 2018:

e-max.it: your social media marketing partner
Read more...
 

The 12th International Conference on Reachability Problems (RP'18)

24 - 26 September 2018 | Aix-Marseille University, FR | https://rp2018.lis-lab.fr/

The 12th International Conference on Reachability Problems will be hosted at Aix-Marseille University, organised by the Laboratory of Computer and System Sciences.

e-max.it: your social media marketing partner
Read more...
 

CSR 2018: Call for Participation

Call for Participation

The 13th International Computer Science Symposium in Russia, CSR-2018

Moscow, Russia June 6-10, 2018

https://logic.pdmi.ras.ru/csr2018/

e-max.it: your social media marketing partner
Read more...
 

The 2018 Alonzo Church Award

The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Tomas Feder and Moshe Y. Vardi for fundamental contributions to the computational complexity of constraint-satisfaction problems. Their contributions appeared in two papers:

e-max.it: your social media marketing partner
Read more...
 

EATCS Fellows class of 2018 named

The EATCS has recognized five of its members for their outstanding contributions to theoretical computer science by naming them as recipients of an EATCS fellowship.

e-max.it: your social media marketing partner
Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 2 of 41

ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 125, June 2018

European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.