| 20/5/2000 |
G?del Prize 2002
Awared to G?raud S?nizergues
L(A) = L(B)? decidability results from complete formal systems
Theoretical Computer Science, Vol 251 (2001), pages 1 - 166
"The paper not only settles the equivalence problem for deterministic context-free languages, but also develops an entire machinery of new techniques which are likely to be useful in other contexts. They have already found useful in semantics of programming languages." |
| 30/5/2000 |
INFORMATION ABOUT G?DEL PRIZE
Additional information
Link to G?del Prize in Europe
Link to G?del Prize in U.S.A.
Laudatio |
| 13/6/2000 |
GLOBAL COMPUTING EVENT
Global Computing Programme is now avaliable:
Global Computing Programme |
| 10/1/2002 |
One week extension of paper submission deadline and invited speakers
Within the last two weeks the conference chairs have received multiple
requests to extend the paper submission deadline. In response to it, the
submission deadline for papers is extended for a week (until 23:59:59
GMT of 21th January). Note that we will not be able to extend this
deadline any further. |
| 21/3/2002 |
.
wc_new_19_desc |
| 1/7/2002 |
Final version of conference schedule
Link to conference schedule |
| 4/7/2002 |
Social Program
Press here to read the social program of ICALP2002
Press here to read the welcome letter to ICALP2002 |
| 1/2/2003 |
GREAT PICTURES AVAILABLE!
Press
here
to see the pictures of ICALP'2002. |
| 4/7/2004 |
Welcome letter
Press here to read the welcome letter to ICALP2002. |