TACS 2001 call for papers (deadline April 1)

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

TACS 2001 call for papers (deadline April 1)

Benjamin C. Pierce
                             Call For Papers

                     Fourth International Symposium on
            Theoretical Aspects of Computer Science (TACS 2001)
                                     
                            October 29-31, 2001
                     Tohoku University, Sendai, Japan

              http://tacs2001.ito.ecei.tohoku.ac.jp/tacs2001/
                                     
   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; logics of
     programs; calculi and models of concurrency and parallel
     computation; theories of mobile computation and system security;
     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.
     
   The scientific program will consist of invited lectures, contributed
   talks, and demo sessions.  A 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.  
   

   IMPORTANT DATES
   
   Submission deadline:         April 1, 2001
   Notification to authors:     June 15, 2001
   Deadline for final versions: July 20, 2001
   

   INVITED SPEAKERS
   
   Luca Cardelli Microsoft Research
   Daniel Jackson Massachusetts Institute of Technology
   Christine Paulin-Mohring Universite Paris Sud & INRIA
   Andrew Pitts University of Cambridge
   Jon Riecke Lucent Technologies
   Kazunori Ueda Waseda University
   

   CONFERENCE CHAIR:

   Takayasu Ito
   Tohoku University
   
   PROGRAM CO-CHAIRS:

   Naoki Kobayashi
   Tokyo Institute of Technology
   kobayasi
   
   Benjamin Pierce
   University of Pennsylvania
   bcpierce
   
   
   PROGRAM COMMITTEE:

   Zena Ariola               University of Oregon
   Cedric Fournet            Microsoft Research
   Jacques Garrigue          Kyoto University
   Masami Hagiya             University of Tokyo
   Robert Harper             Carnegie Mellon University
   Masahito Hasegawa         Kyoto University
   Nevin Heintze             Lucent Technologies
   Martin Hofmann            Edinburgh University
   Zhenjiang Hu              University of Tokyo
   Naoki Kobayashi           Tokyo Institute of Technology
   Martin Odersky            Ecole Polytechnique Federale de Lausanne
   Catuscia Palamidessi      Pennsylvania State University
   Benjamin Pierce           University of Pennsylvania
   Francois Pottier          INRIA
   Andre Scedrov             University of Pennsylvania
   Natarajan Shankar         SRI International
   Ian Stark                 Edinburgh University
   Makoto Tatsuta            Kyoto University
   

   SUBMISSION INFORMATION
   
   Authors are invited to submit full papers (up to 6000 words, including
   figures and bibliographies). Papers must be unpublished and not submitted
   for publication elsewhere. Submissions should be in Postscript or PDF
   format, on A4 or US letter pages. They must be printable on common
   printers and viewable with ghostview or acroread. The first page of each
   submission should include the email address, telephone, and fax numbers
   of the corresponding author. Accepted papers must be presented at the
   symposium, and the final manuscript must be prepared in the LNCS format.

   All submissions should be done electronically through the TACS submission
   page http://saul.cis.upenn.edu:8086/.