[Agda] Call For Papers: APLAS 2009 (Korea, Dec 14-16, 2009)

[Janis Voigtlaender]

===============================================================
                    FIRST CALL FOR PAPERS
                 The Seventh Asian Symposium on
         Programming Languages and Systems (APLAS 2009)
                   Seoul, December 14-16, 2009
                  http://ropas.snu.ac.kr/aplas09/
===============================================================

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
Bangalore (2008, India), Singapore (2007), Sydney (2006, Australia),
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, 3780,
4279, and 5356.

TOPICS:

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

INVITED SPEAKERS: TBA

IMPORTANT DATES:

     Abstract Deadline:           June 8 (Monday), 2009
     Paper Submission Deadline:   24:00 AM (in Samoan Time),
                                  June 15 (Monday), 2009
     Author Notification:         August 17, 2009
     Camera Ready:                September 14, 2009
     Conference:                  December 14-16, 2009

SUBMISSIONS INFORMATION:

Papers should be submitted electronically online via the conference
submission web page at URL
<http://www.easychair.org/conferences/?conf=aplas2009>.  Acceptable
formats are PostScript or PDF, viewable by Ghostview or Adobe
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. Authors of selected papers will be
invited after the symposium to submit a full version for publication
in a special issue of New Generation Computing.


GENERAL CHAIR
    Kwangkeun Yi (Seoul National University, Korea)

PROGRAM CHAIR
    Zhenjiang Hu (National Institute of Inforamtics, Japan)

PROGRAM COMMITTEE
    Manuel M. T. Chakravarty (University of New South Wales, Australia)
    Wei-Ngan Chin (National University of Singapore, Singapore)
    Nate Foster (University of Pennsylvania, USA)
    Ralf Hinze (Oxford University, United Kingdom)
    Zhenjiang Hu (National Institute of Informatics, Japan), Chair
    Ik-Soon Kim (Electronics and Telecommunications Research Institute, 
Korea)
    Julia Lawall (DIKU, Denmark)
    Sebastian Maneth (NICTA and University of New South Wales, Australia)
    Sungwoo Park (Pohang University of Science and Technology, Korea)
    G. Ramalingam (Microsoft Research, India)
    Peter Thiemann (University of Freiburg, Germany)
    Kazushige Terui (Kyoto University, Japan)
    Janis Voigtländer (Technical University of Dresden, Germany)
    Chung-chieh Shan (Rutgers University, USA)
    Kazunori Ueda (Waseda University, Japan)
    Bow-Yaw Wang (Academia Sinica, Taiwan)
    Jianjun Zhao (Shanghai Jiaotong University, China)

POSTER SESSION CHAIR
    Kiminori Matsuzaki (University of Tokyo, Japan)