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