28. ICALP 2001: Heraklion, Crete, Greece

Keynote Papers

Invited Papers

Algebraic and Circuit Complexity

Algorithm Analysis

Approximation and Optimization

Complexity

Concurrency

Efficient Datastructures

Graph Algorithms

Language Theory, Codes, and Automata

Model Checking and Protocol Analysis

Networks and Routing

Reasoning and Verification

Scheduling

Secure Computation

Specification and Deduction

Structural Complexity