[Prev][Next][Index][Thread]
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
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
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:
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 20, 1997
Deadline for final text: May 30, 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