LICS@B.GP.CS.CMU.EDU (07/11/90)
June 26, 1990 CALL FOR PAPERS International Conference on THEORETICAL ASPECTS of COMPUTER SOFTWARE September 24-27, 1991 Tohoku University, Sendai, Japan The TACS conference will focus on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems, including, but not limited to the following topics: * Logic, Proof, Specification and Semantics of Programs and Languages * Theories and Models of Concurrent, Parallel, and Distributed Computation * Constructive Logic, Category Theory, and Type Theory in Computer Science * Theory-Based Systems for Specifying, Synthesizing, Transforming, Testing, and Verifying Software. The scientific program will consist of invited lectures, contributed talks, poster and demo sessions, and a panel discussion. There will also be a reception, banquet, and post-conference bus tour. A Proceedings containing the full papers of the invited and contributed talks published in Lecture Notes in Computer Science, Springer-Verlag, will be available at the conference. TACS is sponsored by Tohoku University with the pending cooperation of the Information Processing Society of Japan, the IEEE Technical Committee on Mathematical Foundations of Computing, ACM SIGACT, and the Association for Symbolic Logic. CONFERENCE CO-CHAIRMEN Prof. Takayasu Ito Prof. Albert R. Meyer Department of Information Engineering MIT Laboratory for Computer Science Tohoku University 545 Technology Square, NE43-315 Sendai, Japan 980 Cambridge, MA 02139, USA email: ito@ito.ecei.tohoku.ac.jp email: meyer@theory.lcs.mit.edu FAX: 81 22 267 4404 FAX: (617) 253 3480 INVITED SPEAKERS Robert Constable, Cornell U. Takayasu Ito, Tohoku U. Albert R. Meyer, MIT Gordon D. Plotkin, Edinburgh U. Amir Pnueli, Weizmann Inst. Dana S. Scott, Carnegie-Mellon U. Several Japanese speakers to be announced PROGRAM COMMITTEE: R. Constable, M. Hagiya (Kyoto), S. Hayashi (Ryukoku), T. Ito, A. Meyer, G. Plotkin, A. Pnueli, M. Sato (Tohoku) Limited funds for subsidizing contributors from outside Japan are available. To apply for a subsidy, submit--by email if possible--a 500-1000 word abstract of work to be presented at the conference and a brief curriculum vitae to either of the conference Co-Chairs. All interested authors, whether or not applying for a subsidy, should submit for review ten (10) copies of their complete papers (up to 9000 words) to either of the Co-Chairs. DATES Application for subsidy, with Abstract and CV: October 15, 1990 Submission of Full Paper: January 15, 1991 Notification of Acceptance: April 15, 1991 Deadline for Final Text: May 31, 1991