<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0in;
margin-bottom:.0001pt;
font-size:10.5pt;
font-family:Consolas;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:Consolas;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoPlainText> CALL FOR PAPERS<o:p></o:p></p>
<p class=MsoPlainText> The Sixth ASIAN Symposium on<o:p></o:p></p>
<p class=MsoPlainText> Programming Languages and Systems<o:p></o:p></p>
<p class=MsoPlainText> (APLAS 2008)<o:p></o:p></p>
<p class=MsoPlainText> Bangalore, India <o:p></o:p></p>
<p class=MsoPlainText> December 9 - December 11, 2008<o:p></o:p></p>
<p class=MsoPlainText> <a
href="http://research.microsoft.com/~grama/APLAS2008">http://research.microsoft.com/~grama/APLAS2008</a><o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>TOPICS:<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>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:<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText> * semantics, logics, foundational theory<o:p></o:p></p>
<p class=MsoPlainText> * type systems, language design<o:p></o:p></p>
<p class=MsoPlainText> * program analysis, optimization, transformation<o:p></o:p></p>
<p class=MsoPlainText> * software security, safety, verification<o:p></o:p></p>
<p class=MsoPlainText> * compiler systems, interpreters, abstract machines<o:p></o:p></p>
<p class=MsoPlainText> * domain-specific languages and systems<o:p></o:p></p>
<p class=MsoPlainText> * programming tools and environments<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Original results that bear on these and related topics
are solicited. Papers investigating novel uses and applications of language
systems are especially encouraged.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Papers should be submitted electronically online via the
conference submission web page at the the EasyChair APLAS2008 site:<o:p></o:p></p>
<p class=MsoPlainText> <a
href="http://www.easychair.org/conferences/?conf=aplas2008">http://www.easychair.org/conferences/?conf=aplas2008</a><o:p></o:p></p>
<p class=MsoPlainText>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.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>IMPORTANT DATES:<o:p></o:p></p>
<p class=MsoPlainText> Paper Submission Deadline: June 27, 2008<o:p></o:p></p>
<p class=MsoPlainText> Conference: December 9 - December 11,
2008<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>GENERAL CHAIR<o:p></o:p></p>
<p class=MsoPlainText> S. Ramesh (India Science Lab, GM R&D)<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>PROGRAM CHAIR<o:p></o:p></p>
<p class=MsoPlainText> G. Ramalingam (Microsoft Research India)<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>PROGRAM COMMITTEE<o:p></o:p></p>
<p class=MsoPlainText> Tyng-Ruey Chuang (Institute of Information
Science, Academia Sinica, Taiwan)<o:p></o:p></p>
<p class=MsoPlainText> Xinyu Feng (Toyota Technological Institute
at Chicago, U.S.A.)<o:p></o:p></p>
<p class=MsoPlainText> Mathew Flatt (University of Utah, U.S.A.)<o:p></o:p></p>
<p class=MsoPlainText> Yuxi Fu (Shanghai Jiaotong University,
China)<o:p></o:p></p>
<p class=MsoPlainText> Rajiv Gupta (University of California,
Riverside, U.S.A.)<o:p></o:p></p>
<p class=MsoPlainText> Siau-Cheng Khoo (National University of
Singapore, Singapore)<o:p></o:p></p>
<p class=MsoPlainText> Naoki Kobayashi (Tohoku University, Japan)<o:p></o:p></p>
<p class=MsoPlainText> P. Madhusudan (University of Illinois at
Urbana-Champaign, U.S.A.)<o:p></o:p></p>
<p class=MsoPlainText> Soo-Mook Moon (Seoul National University,
Korea)<o:p></o:p></p>
<p class=MsoPlainText> Komondoor V Raghavan (IBM India Research Lab)<o:p></o:p></p>
<p class=MsoPlainText> G. Ramalingam (Microsoft Research India)<o:p></o:p></p>
<p class=MsoPlainText> Mooly Sagiv (Tel Aviv University, Israel)<o:p></o:p></p>
<p class=MsoPlainText> Koushik Sen (University of California,
Berkeley, U.S.A.)<o:p></o:p></p>
<p class=MsoPlainText> Zhendong Su (University of California,
Davis, U.S.A.)<o:p></o:p></p>
<p class=MsoPlainText> Martin Sulzmann (IT University of Copenhagen,
Denmark)<o:p></o:p></p>
<p class=MsoPlainText> Hongseok Yang (Queen Mary, University of
London, U.K.)<o:p></o:p></p>
<p class=MsoPlainText> Nobuko Yoshida (Imperial College, London, U.K.)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
</div>
</body>
</html>