[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)
[EMAIL PROTECTED]
PROGRAM CHAIR
Kwangkeun Yi (Seoul National U., Korea)
[EMAIL PROTECTED]
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)
-------------------------------------------------------------------------------
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
