PRELIMINARY CALL FOR PAPERS July 15, 1996 International Symposium on Theoretical Aspects of Computer Software (TACS'97) September 24 - 26, 1997 Tohoku University Sendai, Japan The TACS Symposium will focus on the theoretical foundations of programming and their applications. The topics of interest include: theoretical aspects of the design, semantics, analysis, and implementation of programming languages and systems; calculi and models of concurrency and parallel computation; categories and types in computer science; formalisms, methods, and systems for program specification, verification, synthesis, and optimization; constructive, linear, and modal logics in computer science; logics of programs. The scientific program will consist of invited lectures, contributed talks, demo sessions, and informal evening sessions. Proceedings containing the full papers of the invited and contributed talks will be published by Springer-Verlag as a volume of Lecture Notes in Computer Science. Invited Speakers: Robert Harper Carnegie Mellon University Jean-Jacques Levy INRIA Rocquencourt Robin Milner University of Cambridge Atsushi Ohori Kyoto University Carolyn Talcott Stanford University Conference Chair: Takayasu Ito Tohoku University Advisory Board: Rodney Burstall University of Edinburgh Robert L. Constable Cornell University Albert R. Meyer MIT (chair) John C. Mitchell Stanford University Gordon Plotkin University of Edinburgh Masahiko Sato Kyoto University Akinori Yonezawa University of Tokyo Program Chairs: Martin Abadi Systems Research Center Digital Equipment Corporation Palo Alto, CA 94301, USA email: ma@pa.dec.com Takayasu Ito Dept. of Computer and Mathematical Sciences Graduate School of Information Sciences Tohoku University [Aobayama Campus] Sendai, 980, Japan email: ito@ito.ecei.tohoku.ac.jp Program Committee: Martin Abadi Digital SRC Mariangiola Dezani University of Torino Masami Hagiya University of Tokyo Susumu Hayashi Kobe University Thomas A. Henzinger University of California at Berkeley Takayasu Ito Tohoku University Neil Jones University of Copenhagen Naoki Kobayashi University of Tokyo Jean-Jacques Levy INRIA Rocquencourt Peter O'Hearn Queen Mary and Westfield College Atsushi Ohori Kyoto University Luke Ong University of Oxford Frank Pfenning Carnegie Mellon University Benjamin Pierce Indiana University Natarajan Shankar SRI International Val Tannen University of Pennsylvania Frits Vaandrager University of Nijmegen TACS'97 will be sponsored by Tohoku University with the pending cooperation of Information Processing Society of Japan, Japan Society of Software Science and Technology, ACM SIGACT, and the Association for Symbolic Logic. Submission Information: All interested authors are invited to submit their full papers by email to: TACS97-submission@ito.ecei.tohoku.ac.jp Papers must be unpublished and not submitted for publication elsewhere, including proceedings of other symposia or workshops. Submissions should be in Postscript format. Authors are asked to use 8.5x11 pages (that is, U.S. letter paper size) and to make sure that their papers are easy to print on a variety of printers (e.g., by using standard fonts). The first page of each submission should include an email address and fax number of the corresponding author, if available. The length limit for submissions is 6000 words. Important Dates: Submission of full paper: January 10, 1997 Notification of acceptance: April 10, 1997 Deadline for final text: May 20, 1997 Any inquiry on TACS'97 should be sent to: TACS97@ito.ecei.tohoku.ac.jp Further information about TACS'97 can be obtained on the Web, at: http://tacs97.ito.ecei.tohoku.ac.jp/tacs97.html