Call for Papers - 6th International Conference on Model-Driven Engineering and Software Development

Submission Deadline: July 31, 2017

http://www.modelsward.org

January 22 - 24, 2018 Funchal, Madeira - Portugal

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

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 3 of 37

ICALP 2018

Prague, Czech Republic

July 9-13, 2018


MFCS 2017

Aalborg, Denmark

August 21-25, 2017               


ESA 2017

Vienna, Austria

September 4-8, 2017

DISC 2017

Vienna, Austria

October 16-20, 2017               

 


ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 122, June 2017

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