IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE (IFIP TCS2000)

Call for Papers
Sendai, Japan
August 17-19, 2000

Outline

  IFIP TCS2000 is the first International Conference on Theoretical
  Computer Science organized by the IFIP TC1 on Foundations of
  Computer Science. The conference aims at Exploring New Frontiers
  of Theoretical Informatics. The conference co-chairs are
  Professors G. Ausiello (U. Roma) and T. Ito (Tohoku U.), and
  Professors W. Brauer, M. O. Rabin, J. Staples, and J. Traub as the
  Steering Committee members.  The conference proceedings will be
  published as a volume of Springer Lecture Notes in Computer Science.

Major topics

  The conference consists of two tracks: 
  
  Track (1):
  Algorithms, Complexity and Models of Computation analysis and design
  of algorithms, algorithm experimentation, computational complexity,
  automata and formal languages, parallel algorithms, computational
  learning theory, cryptography, probabilistic and randomized
  algorithms, molecular computing, quantum computing, computational
  finance, etc.

  Track (2):
  Logic, Semantics, Specification and Verification logic
  and semantics of programs and languages, foundations of
  specifications, proofs and specifications in computer science,
  concurrency theory, theory of internet languages and systems,
  foundations of security, specification and verification of hybrid
  and real-time systems, term rewiting systems, constructive and
  non-standard logics in computer science, etc.

Invited Speakers

  Plenary Invited Speakers: Martin Abadi, Masami Hagiya, Madhu Sudan.
  Track (1) Invited Speakers: Ernst Mayr, Shu Tezuka, Mihalis Yannakakis.
  Track (2) Invited Speakers: Thomas Henzinger, Naoki Kobayashi,
  Gordon Plotkin.
  Banquet Speaker: Michael O. Rabin

Submission

  Format and length: typeset in LaTeX2e using Springer document class
  llncs (see http://www.springer.de/com/lncs/authors.html),  and no
  longer than 14 pages.

  Addresses: authors should email Postscript file to one of the
  following addresses by January 28, 2000: for Track (1),
  tcs2000-track1@is.s.u-tokyo.ac.jp; for Track (2),
  tcs2000-track2@is.s.u-tokyo.ac.jp.  A submission should contain
  the track name for the submission, the title of the paper, names and
  affiliations of authors, an abstract up to 300 words, and the
  contact author's name, address, phone number, fax number, and email
  address.  The submission must be in English.  (See
  http://hagi.is.s.u-tokyo.ac.jp/tcs2000/ for more detail.)

Program Committee

  PC Co-Chairs: Track (1): Jan van Leeuwen (U. Utrecht) Osamu
  Watanabe (Tokyo Inst. of Tech.)  Track (2): Masami Hagiya (U. Tokyo)
  Peter D. Mosses (U. Aarhus). PC Members: Track (1): R. Baeza-Yates,
  S.-W. Cheng, F. Cucker, R. Gennaro, A. Gibbons, A. Goldberg, E. Mayr,
  H. Nagamori, K. Sakurai, P. Vitanyi, J. Wiedermann, T. Yokomori.
  Track (2): S. Abramsky, E. Astesiano, L. Cardelli, R. Constable,
  J.  Esparza, N. Kobayashi, J. Meseguer, B. Pierce, D. Sangiorgi,
  J.  Staples, A. Tarlecki, P. Thiagarajan, K. Ueda, N. Yonezaki

  http://tcs2000.ito.ecei.tohoku.ac.jp/tcs2000/