IFIP International Conference on Theoretical Computer
- 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.
E-mail address for any inquiry: TCS2000@ito.ecei.tohoku.ac.jp
[Last edited on August 11, 1999 by S.