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

TACS 2001 CFP

                        Preliminary Call for Papers

                     Fourth International Symposium on
            Theoretical Aspects of Computer Science (TACS 2001)
                                      
                            October 29-31, 2001
                     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; 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 
   University of Tokyo
   koba@is.s.u-tokyo.ac.jp
   
   Benjamin Pierce
   University of Pennsylvania
   bcpierce@cis.upenn.edu
   
   
   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           University of Tokyo
   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 format, on A4 or US letter pages. They must be printable on
   common printers and viewable with ghostview. 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. Detailed submission procedure will be announced later at
   the TACS 2001 web page (http://tacs2001.ito.ecei.tohoku.ac.jp/tacs2001/).