European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.
e-max.it: your social media marketing partner
 

EATCS honours three outstanding PhD theses with the EATCS Distinguished Dissertation Award for 2016

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2016, 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 2016:

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

2017 Dijkstra Prize Award

The 2017 Dijkstra Prize Award Committee concluded its deliberations and we are happy to announce that the paper

Elizabeth Borowsky, Eli Gafni:
Generalized FLP impossibility result for t-resilient asynchronous computations.
STOC 1993: 91-100

was selected as the winner of the 2017 ACM-EATCS Dijkstra Prize in Distributed Computing.

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

The 2017 Alonzo Church Award

The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the eld of programming language semantics, and for the applied impact of these models. Their contributions appeared in three papers:

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

CALL FOR PARTICIPATION - CSR 2017

12th International Computer Science Symposium in Russia June 8-12, 2017, Kazan, Russia

Organized by Kazan Federal University
http://csr2017.kpfu.ru/

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

FCT 2017 - Second Call for Papers

21st International Symposium on
Fundamentals of Computation Theory

September 11-13, 2017
Bordeaux, France

http://fct2017.labri.fr/

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

The EATCS bestows the Presburger Award 2017 on Alexandra Silva (University College London)

The 2017 Presburger Committee consisting of Marta Kwiatkowska (chair), Stephan Kreutzer and Jukka Suomela has completed its deliberations and unanimously selected Alexandra Silva (Senior Lecturer at University College London, UK; WWW: http://www.alexandrasilva.org/#/main.html; DBLP: http://dblp.uni-trier.de/pers/hd/s/Silva_0001:Alexandra) as recipient of the 2017 EATCS Presburger Award for young scientists.

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 1 of 35

ICALP 2017

Warsaw, Poland

July 10-14, 2017                           

MFCS 2017

Aalborg, Denmark

August 21-25, 2017               


ESA 2017

Vienna, Austria

Seprember 4-8, 2017

 

 

New BEATCS issue is out!

Number 121, February 2017

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