1. IFIP TCS 2000:
Sendai,
Japan
Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (Eds.):
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings.
Lecture Notes in Computer Science 1872 Springer 2000, ISBN 3-540-67823-9 BibTeX
@proceedings{DBLP:conf/ifipTCS/2000,
editor = {Jan van Leeuwen and
Osamu Watanabe and
Masami Hagiya and
Peter D. Mosses and
Takayasu Ito},
title = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
Informatics, International Conference IFIP TCS 2000, Sendai,
Japan, August 17-19, 2000, Proceedings},
booktitle = {IFIP TCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1872},
year = {2000},
isbn = {3-540-67823-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
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
Copyright © Sat May 16 23:23:08 2009
by Michael Ley (ley@uni-trier.de)
