Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Awards - ICALP' 2000
ICALP' 2000
27th International Colloquium on
Automata, Languages and Programming
July 9-15, 2000, Geneva, Switzerland
Awards
Best Student Paper Award for track A
Clique is hard to approximate within $n^{1-o(1)}$}, by
Lars Engebretsen, Jonas Holmerin.
Best Student Paper Award for track B
On deciding if deterministic Rabin language is in Büchi class, by
Tomasz Fryderyk Urbanski.
The EATCS Best Paper Award (new !!!! )
The program committees decided to split the EATCS best paper awards among the
following three contributions:
Deterministic algorithms for $k$-SAT based on covering codes and
local search, by Evgeny Dantsin, Andreas Goerdt, Edward A. Hirsch, Uwe Schöning;
Reasoning about idealized Algol using regular languages, by Dan R. Ghica, Guy McCusker; and
An optimal minimum spanning tree algorithm, by Seth Pettie, Vijaya Ramachandran.