The EATCS Award 2011

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 Paul Spirakis (Chair), Friedhelm Meyer auf der Heide  and Eugenio Moggi in charge of evaluating the nominations to the 2011 EATCS Award has come to the decision to honor Boris (Boaz) Trakhtenbrot with the EATCS Award 2011 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 Zürich (Switzerland) during ICALP 2011 (July 4-8, 2011).

e-max.it: your social media marketing partner
 

In memoriam of Philippe Flajolet, the Father of Analytic Combinatorics, 1948 - 2011

Philippe Flajolet (1948 - 2011) passed away on Tuesday, March 22. He was a larger-than-life theorist, the kind of person who “makes” an institution and becomes one himself.

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

EATCS Best Paper Award at ETAPS 2011

The reciepent of the EATCS Best Paper Award in Theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2011, ETAPS'11, has been chosen. It is the TACAS paper "Canonized Rewriting and Ground AC-Completion Modulo Shostak Theories" by Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala.

More information

e-max.it: your social media marketing partner
 

Gödel Prize 2011 - Call for Nominations

The Call for Nominations for the 2011 Gödel Prize has been posted (pdf). Nominations for the award should be submitted to the Award Committee Chair, Eli Upfal . The deadline for nominations is: December 10, 2010.

More information

e-max.it: your social media marketing partner
 

EATCS Award 2011 - Call for Nominations

The Call for Nominations for the EATCS Award 2011 has been published (pdf). Nominations and supporting data should be sent to the chairman of the EATCS Awards Committee, Prof. Paul G. Spirakis. The next award is to be presented during ICALP'2011 in Zurich. The deadline for nominations is: December 1, 2010.

More information

e-max.it: your social media marketing partner
 

Presburger Award 2011 - Call for Nominations

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

More information

e-max.it: your social media marketing partner
 

EATCS Award for Best ICGT Paper 2010

The reciepent of the EATCS Award for the best paper in theoretical Computer Science at the 5th International Conference on Graph Transformation (ICGT 2010), has been closed. It is the paper "Local Confluence for Rules with Nested Application Conditions" by Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas and Ulrike Golas.

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 43

ICALP 2019

Patras, Greece

July 8-12, 2019               


 

 

New BEATCS issue is out!

Number 126, October 2018

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