The Coq mailing list

["Xinyu Feng" <xinyu.feng AT gmail.com>]

Apologies for multiple copies.
 
------------------------------------------
              The Sixth ASIAN Symposium on                          
           Programming Languages and Systems                        
                              (APLAS 2008)                          
                   CALL FOR PAPERS                                  
                                                                    
                     Bangalore, India                               
              December 9 - December 11, 2008                        
                                                                    
       http://research.microsoft.com/~grama/APLAS2008               
 
 
APLAS aims at stimulating programming language research by providing a
forum for the presentation of recent results and the exchange of ideas
and experience in topics concerned with programming languages and
systems.  APLAS is based in Asia, but is an international forum that
serves the worldwide programming languages community.
 
The APLAS series is sponsored by the Asian Association for Foundation
of Software (AAFS), which has recently been founded by Asian
researchers in cooperation with many researchers from Europe and the
USA.  The past formal APLAS symposiums were successfully held in
SIngapore (2007), Sydney (2006, Australia), Tsukuba (2005, Japan),
Taipei (2004, Taiwan) and Beijing (2003, China) after three informa
workshops held in Shanghai (2002, China), Daejeon (2001, Korea) and
Singapore (2000). Proceedings of the past symposiums were published
in Springer-Verlag's LNCS 2895, 3302, 3780, 4279, and 4807.
 
TOPICS:
 
The symposium is devoted to both foundational and practical issues in
programming languages and systems. Papers are solicited in, but are not
limited, to the following topics:
 
    * semantics, logics, foundational theory
    * type systems, language design
    * program analysis, optimization, transformation
    * software security, safety, verification
    * compiler systems, interpreters, abstract machines
    * domain-specific languages and systems
    * programming tools and environments
 
Original results that bear on these and related topics are
solicited. Papers investigating novel uses and applications of
language systems are especially encouraged. Authors concerned about
the appropriateness of a topic are welcome to consult with the program
chair prior to submission.
 
 
SUBMISSIONS INFORMATION:
 
Papers should be submitted electronically online via the conference 
submission web page at (http://www.easychair.org/conferences/?conf=aplas2008). 
Acceptable formats are PostScript or PDF, viewable by Ghostview or 
Acrobat Reader. Submissions should not exceed 16 pages in LNCS format, 
including bibliography and figures. Submitted papers will be judged on 
the basis of significance, relevance, correctness, originality, and 
clarity. They should clearly identify what has been accomplished and 
why it is significant. Submitted papers must be unpublished and not 
submitted for publication elsewhere. The proceedings of the symposium 
is planned to be published as a volume in Springer-Verlag's Lecture 
Notes in Computer Science series.
 
 
IMPORTANT DATES:
   Paper Submission Deadline:   June 27, 2008 (23:59 Apia, Samoa time)
   Author notification:         August 16, 2008
   Camera-ready copy due:       approximately mid-september, 2008
   Conference:                  December 9 - December 11, 2008
 
INVITED SPEAKERS:
   Radha Jagadeesan      (DePaul University)
   Simon Peyton-Jones    (Microsoft Research Cambridge)
   John Reynolds         (Carnegie Mellon University)
 
 
GENERAL CHAIR
   S. Ramesh             (India Science Lab, GM R&D)
 
PROGRAM CHAIR
   G. Ramalingam         (Microsoft Research India)
 
PROGRAM COMMITTEE
   Tyng-Ruey Chuang      (Institute of Information Science, Academia Sinica, Taiwan)
   Xinyu Feng            (Toyota Technological Institute at Chicago, U.S.A.)
   Mathew Flatt          (University of Utah, U.S.A.)
   Yuxi Fu               (Shanghai Jiaotong University, China)
   Rajiv Gupta           (University of California, Riverside, U.S.A.)
   Siau-Cheng Khoo       (National University of Singapore, Singapore)
   Naoki Kobayashi       (Tohoku University, Japan)
   P. Madhusudan         (University of Illinois at Urbana-Champaign, U.S.A.)
   Soo-Mook Moon         (Seoul National University, Korea)
   Komondoor V Raghavan  (IBM India Research Lab)
   G. Ramalingam         (Microsoft Research India)
   Mooly Sagiv           (Tel Aviv University, Israel)
   Koushik Sen           (University of California, Berkeley, U.S.A.)
   Zhendong Su           (University of California, Davis, U.S.A.)
   Martin Sulzmann       (IT University of Copenhagen, Denmark)
   Hongseok Yang         (Queen Mary, University of London, U.K.)
   Nobuko Yoshida        (Imperial College, London, U.K.)