(Message inbox:43) Return-Path: Received: from THEORY.CS.CMU.EDU by missing.link.cs.cmu.edu id aa25614; 23 Jul 96 8:24 EDT Received: from listserv.NoDak.edu by THEORY.CS.CMU.EDU id ar14115; 23 Jul 96 8:05:04 EDT Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 3B415CF0 ; Tue, 23 Jul 1996 7:04:46 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8b) with spool id 342201 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 23 Jul 1996 07:04:10 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 22BEC7D0 ; Tue, 23 Jul 1996 7:04:05 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8b) with spool id 342047 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 23 Jul 1996 07:03:40 -0500 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 08417C40 ; Tue, 23 Jul 1996 7:03:20 -0500 Received: (from ierardi@localhost) by pollux.usc.edu (8.7.2/8.7.2/usc) id FAA24102 for theory-a@listserv.nodak.edu; Tue, 23 Jul 1996 05:03:12 -0700 (PDT) X-Mts: smtp Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <9607170406.AA17097@torino.pa.dec.com> Date: Tue, 23 Jul 1996 05:03:12 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , ma@pa.dec.com Sender: TheoryNet List From: ma@pa.dec.com Subject: Preliminary call for papers for TACS 97 (Sendai, Japan) Comments: To: Multiple recipients of list THEORY-A To: Local Distribution 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