1st IFIP TCS 2000: Sendai, Japan

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics