From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA16120; Mon, 20 Sep 2004 12:39:24 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 MAA15812 for ; Mon, 20 Sep 2004 12:39:23 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from postfix3-1.free.fr (postfix3-1.free.fr [213.228.0.44]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i8KAdMlt024366 for ; Mon, 20 Sep 2004 12:39:23 +0200 Received: from imp6-q.free.fr (imp6-q.free.fr [212.27.42.6]) by postfix3-1.free.fr (Postfix) with ESMTP id D654C173581; Mon, 20 Sep 2004 12:39:22 +0200 (CEST) Received: by imp6-q.free.fr (Postfix, from userid 33) id 00724A5E2; Mon, 20 Sep 2004 12:39:21 +0200 (MEST) Received: from 145.236.247.126 ([145.236.247.126]) by imp6-q.free.fr (IMP) with HTTP for ; Mon, 20 Sep 2004 12:39:21 +0200 Message-ID: <1095676761.414eb359e3683@imp6-q.free.fr> Date: Mon, 20 Sep 2004 12:39:21 +0200 From: Frederic Loulergue To: haskell@haskell.org, caml-list@inria.fr Subject: [Caml-list] [PAPP 2005] First Call for Papers MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.2.5 X-Originating-IP: 145.236.247.126 X-Miltered: at nez-perce with ID 414EB35B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 2005:99 2005:99 high-level:01 atlanta:99 abstraction:01 haskell:01 declarative:01 high-level:01 detectors:99 unpublished:01 cgm:99 bsp:99 generative:01 unpublished:01 referees:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk PAPP 2005 - Second International Workshop on Practical Aspects of High-level Parallel Programming http://papp2005.free.fr part of The International Conference on Computational Science May 22-25, 2005, Atlanta, USA AIMS AND SCOPE Computational Science applications are more and more complex to develop and require more and more computing power. Parallel and grid computing are solutions to the increasing need for computing power. High level languages offer a high degree of abstraction which ease the development of complex systems. Being based on formal semantics, it is even possible to certify the correctness of critical parts of the applications. Algorithmic skeletons, parallel extensions of functional languages, such as Haskell and ML, or parallel logic and constraint programming, parallel execution of declarative programs such SQL queries, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimization of high-level programming languages and tools (performance predictors working on high-level parallel/grid source code, visualisations of abstract behaviour, automatic hotspot detectors, high-level GRID resource managers, compilers, automatic generators, etc.), applications in all fields of computational science, benchmarks and experiments. Research on high-level grid programming is particularly relevant. The PAPP workshop is aimed both at researchers involved in the development of high level approaches for parallel and grid computing and computational science researchers who are potential users of these languages and tools. TOPICS We welcome submission of original, unpublished papers in English on topics including: * high-level models (CGM, BSP, MPM, LogP, etc.) and tools for parallel and grid computing * high-level parallel languages design, implementation and optimisation * functional, logic, constraint programming for parallel, distributed and grid computing systems * algorithmic skeletons, patterns and high level parallel libraries * generative (e.g. template-based) programming with algorithmic skeletons, patterns and high level parallel libraries * applications in all fields of high-performance computing (using high-level tools) * benchmarks, experiments using such languages and tools PAPER SUBMISSION AND PUBLICATION Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers will go through a rigorous reviewing process. Each paper will be reviewed by at least two referees. The accepted papers will be published in the Springer-Verlag LNCS series, as part of the ICCS proceedings. Papers (PDF file) should be sent together with a short abstract in plain text to loulergue at univ-paris12.fr with subject "[PAPP2005 Workshop] Submission" no later than 7 november 2004. We invite you to submit a full paper of 8 pages (A4), describing new and original results. The submitted paper must be formatted according to the rule of Lecture Notes in Computer Science (LNCS). Submission implies the willingness of at least one of the authors to register and present the paper. An early email with your intention to submit a paper would be greatly appreciated (especially if you have doubts about the relevance of your paper). Accepted papers should be presented at the workshop and extended and revised versions will be published in a special issue of an international journal, provided revisions suggested by the referees are made (more details at http://papp2005.free.fr). IMPORTANT DATES 7 November 2004 Full paper due 22 December 2004 Referee reports and unofficial notification January 2005 Notification Februray 2005 Camera-ready paper due May 2005 Journal version due June 2005 Referee reports July-October 2005 Revision of papers, final notification November 2005 Final paper due PROGRAMME COMMITTEE Marco Aldinucci (CNR/Univ. of Pisa, Italy) Rob Bisseling (Univ. of Utrecht, The Netherlands) Frank Dehne (Griffith Univ., Australia) Alexandros Gerbessiotis (NJIT, USA) Stephen Gilmore (Univ. of Edinburgh, UK) Clemens Grelck (Univ. of Luebeck, Germany) Sergei Gorlatch (Univ. of Muenster, Germany) Isabelle Guérin-Lassous (INRIA, France) Zhenjiang Hu (Univ. of Tokyo, Japan) Frederic Loulergue (Univ. Paris Val de Marne, France) Fethi A. Rabhi (Univ. of New South Wales, Australia) Casiano Rodríguez León (Univ. La Laguna, Spain) CHAIR AND ORGANIZER Dr. Frederic LOULERGUE Laboratory of Algorithms, Complexity and Logic (LACL) University of Paris Val de Marne 61, avenue du General de Gaulle F-94010 CRETEIL - FRANCE ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners