From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id B9AEBBB83 for ; Tue, 30 May 2006 03:49:17 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4U1nHrS018182 for ; Tue, 30 May 2006 03:49:17 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA27444 for ; Tue, 30 May 2006 03:49:16 +0200 (MET DST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.175]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4U1nGs9018179 for ; Tue, 30 May 2006 03:49:16 +0200 Received: by ug-out-1314.google.com with SMTP id o2so314929uge for ; Mon, 29 May 2006 18:49:16 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=GCQALivBXMR1KegKfmIN4QPXi3qWiH7A1G/A0WlPWFAko2QS1EeOGMFYb+fpLLaKWsi6IvVvKALQpylhbi/5u8ESX0ppbNZXzXi0Mi4k26CjqUG0b6AMoTxMwOhckWPFuWuxY5K48oo3TAxzlKwSBsppII+Ue5nyLO3CwrVbkkE= Received: by 10.67.100.12 with SMTP id c12mr2346916ugm; Mon, 29 May 2006 18:49:15 -0700 (PDT) Received: by 10.66.251.13 with HTTP; Mon, 29 May 2006 18:49:10 -0700 (PDT) Message-ID: Date: Tue, 30 May 2006 10:49:10 +0900 From: "Eijiro Sumii" To: caml-list@inria.fr, haskell@haskell.org Subject: CFP: APLAS 2006 MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 447BA49C.000 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 447BA49D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 447BA49C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; eijiro:01 sumii:01 eijiro:01 sumii:01 cfp:01 ecei:01 tohoku:01 lncs:01 semantics:01 logics:01 compiler:01 ecei:01 tohoku:01 chakravarty:01 naoki:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=RCVD_BY_IP, RCVD_IN_BL_SPAMCOP_NET,SUBJ_ALL_CAPS autolearn=disabled version=3.0.3 [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 http://www.kb.ecei.tohoku.ac.jp/aplas2006/ 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. 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 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. GENERAL CO-CHAIRS Manuel Chakravarty (University of New South Wales, Australia) Gabriele Keller (University of New South Wales, Australia) PROGRAM CHAIR Naoki Kobayashi (Tohoku University) PROGRAM COMMITTEE 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) INVITED SPEAKERS Jens Palsberg (UCLA, USA) Peter Stuckey (University of Melbourne, Australia) SUBMISSIONS INFORMATION 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). IMPORTANT DATES 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