ICALP RANDOM 2000:


Samson Abramsky:
Game Semantics: Achievements and Prospects.  

Gregor Engels:
Graph Transformation as Unifying Formal Framework for System Modeling and Model Evolution. 

Johan Hastad:
Which NP-hard optimization problems admit non-trivial efficient approximation algorithms? 

Roberto Gorrieri:
Non Interference for Analysis of Cryptographic Protocols. 

Zohar Manna:
Alterating Verification Diagrams.  

Kurt Mehlhorn:
Graph Algorithms and Constraint Programming. 

Oded Goldreich:
Pseudorandomness.

Andrei Broder:
Min-wise Independent Permutations: Theory and Practice.