[TYPES] CFP APLAS'05

[Kwangkeun Yi]

[apologies if you receive this CFP multiple times]
 
-------------------------------------------------------------------------------
  	                   CALL FOR PAPERS
 
      The Third Asian Symposium on Programming Languages and Systems
                              (APLAS 2005)
 
                            November 3-5, 2005
                              Tsukuba, Japan
 
                   Submission deadline: 10 June, 2005 
                     http://ropas.snu.ac.kr/aplas05
 
 APLAS seeks original papers on all topics of programming languages and
 systems. APLAS aims at stimulating programming language research by
 providing an international forum for the presentation of original
 results and the exchange of ideas and experience. 
 
 The APLAS series is sponsored by the Asian Association for Foundation
 of Software (AAFS), which has been founded by Asian researchers in
 cooperation with many researchers from Europe and the USA. The first
 two formal APLAS symposiums were successfully held in Taipei (2004,
 Taiwan) and Beijing (2003, China) after three informal workshops held
 in Shanghai (2002, China), Daejeon (2001, Korea) and Singapore (2000).
 
 TOPICS
 
 The symposium is devoted to all topics ranging from foundational to
 practical issues in programming languages and systems. Submissions are
 invited 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 for embedded and mobile codes
 
 PROGRAM
 
 APLAS technical program consists of paper presentations, invited
 talks, and a dedicated session for posters. 
 
 During the poster session students and professionals can present their
 works-in-progress or very recent results and can get feedback from
 other colleagues. Before the symposium, all the poster authors are
 asked to read other posters' abstracts and give feedbacks beforehand.
 
 
 IMPORTANT DATES
 
 Paper
  Abstract & title:      28 May, 2005
  Full paper submission: 10 Jun, 2005
  Author notification:   05 Aug, 2005
  Camera-ready copy:     26 Aug, 2005
 
 Poster
  Abstract & title:      16 Sep, 2005
  Feedback:              07 Oct, 2005
  
 
 SUBMISSIONS INFORMATION
 
 - All submissions be submitted electronically online via the
   symposium web page http://ropas.snu.ac.kr/aplas05. 
   Acceptable formats are PostScript or PDF, viewable by Ghostview or
   Acrobat Reader.
 - Paper or poster abstract submissions should not exceed 300 words. 
 - Paper submissions should not exceed 15 pages in LNCS format, excluding
   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. 
 - The work described should not have been previously published
   in a journal and conference proceedings. Authors must indicate if a
   closely related paper is also being considered for another conference or
   journal. 
 - The proceedings of the symposium (papers and invited talks) will be
   published by Springer-Verlag's Lecture Notes in Computer Science series. 
 
 
 GENERAL CHAIR
  Tetsu Ida           (U. of Tsukuba, Japan)
  tetsuo.ida at acm.org
 
 PROGRAM CHAIR
  Kwangkeun Yi	     (Seoul National U., Korea)
  kwang at ropas.snu.ac.kr
 
 PROGRAM COMMITTEE
  Radhia   Cousot      (Ecole Polytechnique, France)
  Manuel   Fahndrich   (Microsoft Research, USA)
  Masami   Hagiya      (U. of Tokyo, Japan)
  Luddy    Harrison    (U. of Illinois at Urbana-Champaign, USA)
  Siau-Cheng  Khoo     (National U. of Singapore, Singapore)
  Naoki    Kobayashi   (Tohoku U., Japan)
  Oukseh   Lee         (Hanyang U., Korea)
  Peter    Lee         (Carnegie Mellon U., USA)
  Huimin   Lin         (Chinese Academy of Science, China)
  Soo-Mook Moon        (Seoul National U., Korea)
  Alan     Mycroft     (U. of Cambridge, UK)
  Atsushi  Ohori       (Japan Advanced Inst. of Sci.& Tech., Japan)
  David    Schmidt     (Kansas State U., USA)
  Harald   Sondergaard (U. of Melbourne, Australia)
  Martin   Sulzmann    (National U. of Singapore, Singapore)
  Wuu      Yang        (National Chiao-Tung U., Taiwan)
  Wang     Yi          (Uppsala U., Sweden)
  Kwangkeun Yi (chair) (Seoul National U., Korea)
 
 POSTER CHAIR
  Hongseok Yang        (Seoul National U., Korea)
 
 LOCAL ARRANGEMENT 
  Mircea   Marin       (U. of Tsukuba, Japan)
 
-------------------------------------------------------------------------------