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
 

EATCS Award 2010 - Call for Nominations

The Call for Nominations for the EATCS Award 2010 has been published (pdf). Nominations and supporting data should be sent to the chairman of the EATCS Awards Committee, Emo Welzl. The next award is to be presented during ICALP'2010 in Bordeaux. The deadline for nominations is: December 15, 2009.

More information

e-max.it: your social media marketing partner
 

Gödel Prize 2010 - Call for Nominations

The Call for Nominations for the 2010 Gödel Prize has been posted (pdf). Nominations for the award should be submitted to the Award Committee Chair Professor, Jean-Pierre Jouannaud. The deadline for nominations is: January 31st, 2010.

More information

e-max.it: your social media marketing partner
 

Nominations - Council Election 2009

The electronic Council Election of new members will take place in September 2009.

e-max.it: your social media marketing partner
Read more...
 
<< Start < Prev 41 42 43 44 45 46 47 48 49 Next > End >>

Page 43 of 49

ICALP 2020

Saarbrücken, Germany

July 8-12, 2020               


 

 

New BEATCS issue is out!

Number 129, October 2019

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