1. IFIP TCS 2000: Sendai, Japan

Keynote Plenary Talk 1

Keynote Plenary Talk 2

Keynote Plenary Talk 3

Track (1) on Algorithms, Complexity and Models of Computation

Session 1.1

Session 1.2

Invited Talk 1.1

Session 1.3

Session 1.4

Session 1.5

Invited Talk 1.2

Session 1.6

Invited Talk 1.3

Track (2) on Logic, Semantics, Specification, and Verification

Session 2.1

Invited Talk 2.1

Session 2.2

Session 2.3

Session 2.4

Invited Talk 2.2

Session 2.5

Invited Talk 2.3

Panel Discussion on New Challenges for TCS

Open Lectures