English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-05-30 (01:49)
From: Eijiro Sumii <eijiro.sumii@g...>
Subject: CFP: APLAS 2006
[sending on behalf of the program chair]

*** The deadline of abstract submission: June 2  ***
*** The deadline of paper submission: June 6     ***

                     CALL FOR PAPERS

              The Fourth ASIAN Symposium on
         Programming Languages and Systems
                   (APLAS 2006)
         Sydney, Australia, November 8-10, 2006

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
Tsukuba (2005, Japan), Taipei (2004, Taiwan) and Beijing (2003, China)
after three informal 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, and 3780.


The symposium is devoted to both foundational and practical issues in
programming languages and systems. Papers are solicited on, but 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 (koba@ecei.tohoku.ac.jp) prior to submission.

 Manuel Chakravarty (University of New South Wales, Australia)
 Gabriele Keller    (University of New South Wales, Australia)

 Naoki Kobayashi    (Tohoku University)

 Kung Chen          (National Chengchi University, Taiwan)
 Wei-Ngan Chin      (National University of Singapore, Singapore)
 Patrick Cousot     (ENS, France)
 Masahito Hasegawa  (Kyoto University, Japan)
 Jifeng He          (United Nations University, Macau)
 Haruo Hosoya       (University of Tokyo, Japan)
 Bo Huang           (Intel China Software Center, China)
 Naoki Kobayashi (chair) (Tohoku University, Japan)
 Oege de Moor       (Oxford University, UK)
 George Necula      (University of California at Berkeley, USA)
 Martin Odersky     (EPFL, Switzerland)
 Tamiya Onodera     (IBM Research, Tokyo Research Laboratory, Japan)
 Yunheung Paek      (Seoul National University, Korea)
 Sriram Rajamani    (Microsoft Research, USA)
 Andrei Sabelfeld   (Chalmers University of Technology, Sweden)
 Zhong Shao         (Yale University, USA)
 Harald Sondergaard (University of Melbourne, Australia)
 Nobuko Yoshida     (Imperial College London, UK)

 Jens Palsberg (UCLA, USA)
 Peter Stuckey (University of Melbourne, Australia)


Papers should be submitted electronically online via the conference
submission webpage. 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 will be published as a volume in
Springer-Verlag's Lecture Notes in Computer Science series. Authors
of accepted papers must provide all the electronic files of the final
version of papers according to the instruction provided at the LNCS
home page (www.springer.com/lncs).


Abstract Submission: June 2, 2006
Paper Submission: June 6, 2006
Author notification: August 5, 2006
Camera Ready: August 25, 2006
Conference: November 8-10, 2006