[Prev][Next][Index][Thread]

Preliminary call for papers for TACS 97 (Sendai, Japan)


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]



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