"International Conference on Theoretical Computer Science" --- Exploring New Frontiers of Theoretical Informatics --- organized by IFIP Technical Committee TC1 on Foundations of Computer Science in cooperation with Information Processing Society of Japan Japan Society of Software Science and Technology (*) Institute of Electronics, Information and Communication Engineers of Japan (*) European Association of Theoretical Computer Science Association for Symbolic Logic (*) Association for Computing Machinery-SIGACT (*) indicates "to be verified". Date: August 17 - 19, 2000 Place: Aoba Memorial Building, Faculty of Engineering, Tohoku University, Sendai, Japan Web page: http://tcs2000.ito.ecei.tohoku.ac.jp/tcs2000.html Email: For any inquiry on TCS2000, <<to be formed as follows>> TCS2000@ito.ecei.tohoku.ac.jp Conference Co-Chairs: Giorgio Ausiello, IFIP TC1 Chair and University of Roma "La Sapienza" Takayasu Ito, Tohoku University Steering Committee: Giorgio Ausiello, University of Roma "La Sapienza" (chair) Wilfried Brauer, Technical University of Muenchen Takayasu Ito, Tohoku University Michael Rabin, Harvard University John Staples, University of Queensland Joseph Traub, Columbia University Organizing Committee: Co-Chairs: Takayasu Ito, Tohoku University Yasuyoshi Inagaki, Nagoya University Setsuo Arikawa, Kyushu University Members: (To be announced) Program Committee: TRACK (1): "Algorithms, Complexity and Models of Computation" Co-Chairs: Jan van Leeuwen, University of Utrecht Osamu Watanabe, Tokyo Institue of Technology TRACK (2): "Logic, Semantics, Specification and Verification" Co-Chairs: Peter D. Mosses, University of Aarhus Masami Hagiya, University of Tokyo PC Members: (To be announced) Major Topics: <Tentative list of major topics> TRACK (1): "Algorithms, Complexity and Models of Computation" Analysis and design of algorithms Continuous algorithms and complexity Computational complexity Descriptional complexity Cellular automata and machines Automata and formal languages Hardware algorithms and parallel algorithms Computational learning theory Algorithmic aspects in discovery science Cryptography Combinatorics Molecular computing and algorithmic aspects of bioinformatics Probabilistic and randomized algorithms Quantum computing Neural network computing Evolutionary and genetic algorithms Computational geometry Computational mathematical finance Bridging complexity and semantics TRACK (2): "Logic, Semantics, Specification and Verification" Logic and semantics for programs and languages Foundations of system specification Term rewriting systems Proofs and specifications in computer science Types and category theory in computer science Theoretical aspects of specification and verification of hardware and software Theoretical aspects of software concepts Concurrency theory Theory of parallel and distributed systems Theory of internet languages and systems Constructive and non-standard logics in computer science Foundations of security Theoretical foundations of data bases Logic, specification and verification of hybrid and real-time systems Theoretical foundations of open systems Bridging semantics and complexity Keynote Plenary Speakers: (to be announced) Invited Speakers for TRACKs: (to be announced) Call for Papers: (to be announced) [Important Dates] Deadline for submission: January 28 (Friday), 2000 Notification of acceptance: April 7 (Friday), 2000 Deadline for final text: May 5 (Friday), 2000 =============================================================================