EATCS Award 2010

The EATCS Award is awarded annually to honor a scientist with widely recognized contributions to the field of theoretical computer science throughout a distinguished scientific career. The Committee, consisting of Emo Welzl (Chair), Pavlos Spirakis and Eugenio Moggi in charge of evaluating the nominations to the 2010 EATCS Award has come to the decision to honor Professor Kurt Mehlhorn with the EATCS Award 2010 for his decisive influence on the developments of nalgorithms, and, more generally, of computer science as a whole in many ways.The decision has been unanimously approved by the EATCS Council. The Award will be assigned during a ceremony that will take place in Bordeaux (France) during ICALP 2010 (July 5-12, 2010).

Read more

e-max.it: your social media marketing partner
 

Presburger Award 2010

The Presburger Award Committee, consisting of S. Leonardi, A. Tarlecki, and W. Thomas (chair) has unanimously decided to propose Mikolaj Bojanczyk (Warsaw) as first recipient of the EATCS Presburger Award for young scientists.

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

In memoriam of Prof. Dr. Robin Milner, 1934—2010

Arthur John Robin Gorell Milner, (born 13 January 1934 near Plymouth, died 20 March 2010 in Cambridge) was a prominent British computer scientist

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

In memoriam of Prof. Dr. Amir Pnueli, 1941—2009

Amir Pnueli was born in Nahalal, Israel, on April 22, 1941 and passed away in New York City on November 2, 2009 as a result of a brain hemorrhage.

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

EATCS Award for Best ETAPs Paper 2010

The reciepent of the EATCS Award for the best paper in theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2010, ETAPS'10, has been chosen. It is the TACAS paper "When Simulation Meets Antichains (on Checking Language Inclusion of NFA's) " by Parosh Abdulla, Yu-Fang Chen, Lukas Holik, Richard Mayr, Tomas Vojnar

More information

e-max.it: your social media marketing partner
 

Dijkstra Prize 2010 - Call for Nominations

The Call for Nominations for the Dijkstra Prize 2010 has been posted. Nominations for the award should be submittedto the Co-Chairs of the Award Committee, Nancy Lynch ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ) and/or Alex Shvartsman ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ). The deadline for nominations is: June 1, 2010.

More information

e-max.it: your social media marketing partner
 

Presburger Award  2010 Call for Nominations

The Call for Nominations for the 2010 Presburger Award  has been posted (pdf). Nominations for the award should be submitted to the Award Committee Chair Professor, Wollfgang Thomas. The deadline for nominations is: December 31st, 2009.

More information

e-max.it: your social media marketing partner
 
<< Start < Prev 31 32 33 34 35 36 37 38 39 40 Next > End >>

Page 35 of 42

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.