Call for papers for TACS 97 (Sendai, Japan)

[------- The Types Forum ------ http://www.cs.indiana.edu/types -------]

CALL FOR PAPERS						November 22, 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

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
   Gerard Huet		INRIA
   Jean-Jacques Levy	INRIA
   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
   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 cooperation of
ACM SIGACT and the Information Processing Society of Japan, and the
pending cooperation of the Japan Society of Software Science and
Technology and the Association for Symbolic Logic.

Submission Information:

All interested authors are invited to submit their full papers by
email to:


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 20, 1997
    Deadline for final text:       May 30, 1997

Any inquiry on TACS'97 should be sent to:


Further information about TACS'97 can be obtained on the Web, at: