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 
Keynote Plenary Talk 1
Keynote Plenary Talk 2
Masami Hagiya:
Theory and Construction of Molecular Computers.
23-24
Keynote Plenary Talk 3
Madhu Sudan:
List Decoding: Algorithms and Applications.
25-41
Track (1) on Algorithms, Complexity and Models of Computation
Session 1.1
Session 1.2
Invited Talk 1.1
Ernst W. Mayr:
In Is on the Boundary: Complexity Considerations for Polynominal Ideals.
99
Session 1.3
Session 1.4
Session 1.5
Bruno Martin:
Damage Spreading and µ-Sensitivity on Cellular Automata.
226-242
Invited Talk 1.2
Shu Tezuka:
Discrepancy Theory and Its Application to Finance.
243-256
Session 1.6
Invited Talk 1.3
Track (2) on Logic, Semantics, Specification, and Verification
Session 2.1
Invited Talk 2.1
Naoki Kobayashi:
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness.
365-389
Session 2.2
Silvano Dal-Zilio:
An Interpretation of Typed Concurrent Objects in the Blue Calculus.
409-424
Session 2.3
Marcelo P. Fiore:
Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems.
457-473
Richard Mayr:
On the Complexity of Bisimulation Problems for Pushdown Automata.
474-488
Session 2.4
Invited Talk 2.2
Session 2.5
Invited Talk 2.3
Gordon D. Plotkin:
Some New Directions in the Syntax and Semantics of Formal Languages.
596
Panel Discussion on New Challenges for TCS
Jozef Gruska:
New Challenges for Theoretical Computer Science.
599-601
Jozef Gruska:
Quantumization of Theoretical Informatics.
604-608
Ugo Montanari:
Two Problems in Wide Area Network Programming.
609-611
Open Lectures
data released under the ODC-BY 1.0 license
