The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory with widespread practical impact.

Rajeev Alur and David Dill: A theory of timed automata. Theoretical Computer Science 126(2):183–235, 1994.

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

Page 7 of 36

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

 

 

New BEATCS issue is out!

Number 122, June 2017

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