IFIP logo

IFIP International Conference on Theoretical Computer Science
- Exploring New Frontiers of Theoretical Informatics -

 August 17-19, 2000
 Tohoku University, Sendai, Japan

The IFIP TCS2000 is the first International Conference on Theoretical Computer Science organized by IFIP TC1 on Foundations of Computer Science.  It is to be held on August 17-19, 2000 at Aoba Memorial Building, Tohoku University, Sendai, Japan.

There will be two tracks:

     Track (1) on Algorithms, Complexity and Models of Computation
     Track (2) on Logic, Semantics, Specification, and Verification

The conference program will consist of Plenary Invited Talks, Invited Talks of each track, and a Banquet Speech, as well as the selected contributed talks and a panel discussion.

Deadline for submission of papers: January 28 (Friday), 2000

Detailed information about TCS2000 is provided on the following pages.

Pages with the Program and Registration Information, Transportation, and others, will be added later.

E-mail address for any inquiry: TCS2000@ito.ecei.tohoku.ac.jp

[Last edited on August 11, 1999 by S. Miyakawa]