dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@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 © Fri Mar 12 17:15:53 2010 by Michael Ley (ley@uni-trier.de)