From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=SORTED_RECIPS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 16797BB84 for ; Sun, 7 Sep 2008 23:19:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMNACPiw0iC9QEPiGdsb2JhbACLSAGGegEBAQ8gC5lVhGY+gWaDMw X-IronPort-AV: E=Sophos;i="4.32,353,1217800800"; d="scan'208";a="28908606" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Sep 2008 23:19:16 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m87LJDJR011156 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 7 Sep 2008 23:19:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMNACPiw0iC9QEPiGdsb2JhbACLSAGGegEBAQ8gC5lVhGY+gWaDMw X-IronPort-AV: E=Sophos;i="4.32,353,1217800800"; d="scan'208";a="28908605" Received: from sbcs.sunysb.edu (HELO sbcs.cs.sunysb.edu) ([130.245.1.15]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Sep 2008 23:19:15 +0200 Received: from compserv2 (compserv2 [130.245.1.58]) by sbcs.cs.sunysb.edu (8.13.6/8.12.11) with ESMTP id m87L7im5000045; Sun, 7 Sep 2008 17:07:44 -0400 (EDT) Date: Sun, 7 Sep 2008 17:07:44 -0400 (EDT) From: Terrance Swift X-X-Sender: tswift@compserv2 To: acl2@cs.utexas.edu, acl@cs.columbia.edu, action-semantics@brics.dk, ag-list@uni-mb.si, agents@cs.umbc.edu, aicom@dbai.tuwien.ac.at, aiia@di.unito.it, aiia@dis.uniroma1.it, ail-l@austin.onu.edu, alp-diffusion@univ-lille1.fr, alp@doc.ic.ac.uk, amast-info@cs.utwente.nl, amast@cs.utwente.nl, announce@sigart.acm.org, apng-all@apng.org, appiar@fct.unl.pt, appiar@ncc.up.pt, appsem@cs.chalmers.se, aprove@i2.informatik.rwth-aachen.de, atp@logic.tuwien.ac.at, atp_alias@cs.jcu.edu.au, atp_alias@cs.jcu.edu.au, babel@ls.fi.upm.es, benelog@cs.kuleuven.ac.be, bforum@estas1.inrets.fr, bforum@estas1.inrets.fr, bra-types@cs.chalmers.se, cadeinc@cs.albany.edu, calculemus-ig@dist.unige.it, calligramme@loria.fr, caml-list@inria.fr, caml-list@pauillac.inria.fr Subject: PADL 09 Deadline Extension Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=X-UNKNOWN Content-Transfer-Encoding: QUOTED-PRINTABLE X-Miltered: at concorde with ID 48C44551.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; padl:01 padl:01 co-located:01 vastly:01 real-world:01 co-located:01 popl:01 lncs:01 lncs:01 real-world:01 lennart:01 augustsson:01 fergus:01 johan:01 universiteit:01 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *= * * * * * * * * * * =09=09=09 Deadline Extension Due to numerous requests, we have extended the deadling for PADL 09 until September 11, 11:59 PM, GMT - 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *= * * * * * * * * * * =09=09=09 CALL FOR PAPERS!!! =09=09 Eleventh International Symposium on =09 Practical Aspects of Declarative Languages 2009 =09=09=09 (PADL '09) =09=09 http://cs.utdallas.edu/padl09/ =09=09=09Savannah Georgia, USA =09=09=09 January 19-20, 2008 =09=09 Co-located with ACM POPL'09 Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include: * innovative applications of declarative languages; * declarative domain-specific languages and applications; * practical applications of theoretical results; * new language developments & their impact on applications; * evaluation of implementation techniques on practical applications; * novel uses of declarative languages in the classroom; and * practical experiences PADL 09 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. PADL 09 will be co-located with the ACM POPL. IMPORTANT DATES AND SUBMISSION GUIDELINES Paper Submission:=09September 11 2008 Notification:=09October 10, 2008 Camera-ready:=09November 5, 2008 Symposium:=09January 19-20, 2009 Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF, in the Springer LNCS format (see http://www.springeronline.com/lncs/ ). In addition to the technical papers of previous PADL conferences, PADL 09 will contain a streamk for application papers. TECHNICAL PAPERS Technical papers must describe original, previously unpublished results, and must not be simultaneously submitted for publication elsewhere. Each submission must be written in English, and include three to four keywords, which will be used to assist us in selecting appropriate reviewers for the paper. Submissions must not exceed 15 pages in Springer LNCS format. APPLICATION PAPERS Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than computer science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate poster session. Application papers, are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 3 pages in Springer LNCS format. MOST PRACTICAL PAPER AWARD The Most Practical Paper award will be given to the technical submission that is judged by the program committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award, or to make multiple awards. PROGRAM COMMITTEE Lennart Augustsson Credit Suisse (UK) Hasan Davulcu=09=09 Arizona State University (US) In=C3=A9s Dutra=09 =09 Universidade do Porto (PT) John Gallagher=09 Roskilde University (DK) Andy Gordon Microsoft Research (UK) Jeff Gray University of Alabama at Birmingham (US) =09 Kevin Hamlen=09=09 University of Texas at Dallas (US) Fergus Henderson Google (US) Gabriele Keller University of New South Wales (Australia) Michael Kifer=09=09 SUNY Stony Brook (US) Ilkka Niemel=C3=A4 =09 Helsinki University of Technology (= FI) Johan Nordlander Lule=C3=A5 University of Technology (Swe= den) Lu=C3=ADs Pereira=09 =09 Universidade Nova de Lisboa (PT) Tom Schrijvers=09 Katholieke Universiteit Leuven (BE) Lindsey Spratt=09 Onology Works (US) Don Stewart Galois, Inc (US) Walter Wilson=09 Systems Development and Analysis (US) Contacts: For information about papers and submissions, please contact a Program= Chair: Andy Gill PC co-Chair - PADL 2009 Dept. of Electrical Engineering & Computer Science The University of Kansas 2001 Eaton Hall 1520 West 15th Street Lawrence, KS 66045-7621 Email: andygill ku.edu Terrance Swift PC co-Chair - PADL 2009 Centre for Artificial Intelligence (CENTRIA) Departamento de Inform=C3=A1tica, FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Email: tswift cs.sunysb.edu For other information about the conference, please contact: Kevin Hamlen General Chair - PADL 2009 Department of Computer Science University of Texas at Dallas Richardson, TX, USA Email: hamlen utdallas.edu