2016 Gödel Prize

The 2016 Gödel Prize is awarded to Stephen Brookes and Peter W. O'Hearn for their invention of Concurrent Separation Logic, as described in the following two papers:

Stephen Brookes and Peter O'Hearn will receive the 2016 Gödel Prize at the 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016), 12-15 July 2016, in Rome, Italy.

e-max.it: your social media marketing partner
Read more...
 
Best paper awards at ICALP 2016

The PCs for the three tracks of ICALP 2016 have selected the articles that will receive the best paper and best student paper awards at the conference.

e-max.it: your social media marketing partner
Read more...
 
Hartmut Ehrig (1944-2016)

Hartmut Ehrig died on March, 17, 2016. We are very sad. With us PhD students he was like a father, ready to fight for us, but also ready to fight against us, if he did not agree with our crazy ideas. This made us grow, as persons and scientifically. We could not wish for a better advisor. We will miss his kindness, his sense of humour and his outstanding intelligence.

e-max.it: your social media marketing partner
Read more...
 
MFCS 2016: Second & Last CFP

Deadlines: Abstract  April 21;

Paper April 25.

Last Call for Papers

41st International Symposium on
Mathematical Foundations of Computer Science
(MFCS-2016)

Krakow, Poland, August 22--26, 2016

URL: http://mfcs.ki.agh.edu.pl

e-max.it: your social media marketing partner
Read more...
 
IWOCA 2016 in Helsinki - Second Call for Papers

27th International Workshop on Combinatorial Algorithms (IWOCA 2016)
Helsinki, Finland, 17-19 August 2016
http://iwoca2016.cs.helsinki.fi

e-max.it: your social media marketing partner
Read more...
 
The EATCS bestows the Presburger Award 2016 on Mark Braverman (Princeton University)

The European Association for Theoretical Computer Science (EATCS) has awarded the 2016 Presburger Award to Mark Braverman (Princeton University, USA; WWW: http://www.cs.princeton.edu/~mbraverm/pmwiki/index.php?n=Site.Main?setview=display).

e-max.it: your social media marketing partner
Read more...
 
DISC 2016 - FIRST CALL FOR PAPERS

30th International Symposium on Distributed Computing September 26-29, 2016, Paris, France

www.disc-conference.org/wp/disc2016

DISC is the International Symposium on Distributed Computing, organized in cooperation with the European Association for Theoretical Computer Science (EATCS).

Important Dates
Abstract Registration : May 3, 2016 (AoE)
Paper Submission : May 10, 2016 (AoE)
Notification : July 7, 2016
Camera-Ready Submission : July 20, 2016
Conference : September 26--29, 2016

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 5 of 34

ICALP 2017

Warsaw, Poland

July 10-14, 2017                           

 

 

New BEATCS issue is out!

Number 121, February 2017

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