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=0.9 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1306CBBAF for ; Wed, 3 Dec 2008 15:18:46 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au4BAC4kNklQDPIbgWdsb2JhbACTTgEBCQsKBxMDvj+Cf4Nl X-IronPort-AV: E=Sophos;i="4.33,708,1220220000"; d="scan'208";a="17925969" Received: from smtp20.orange.fr ([80.12.242.27]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2008 15:18:45 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id 7D55E1C000AA; Wed, 3 Dec 2008 15:18:45 +0100 (CET) Received: from [192.168.0.195] (ARouen-156-1-102-23.w90-8.abo.wanadoo.fr [90.8.45.23]) by mwinf2012.orange.fr (SMTP Server) with ESMTP id 557F71C000B2; Wed, 3 Dec 2008 15:18:44 +0100 (CET) X-ME-UUID: 20081203141844350.557F71C000B2@mwinf2012.orange.fr Message-ID: <49369549.7000908@univ-paris12.fr> Date: Wed, 03 Dec 2008 15:18:49 +0100 From: =?ISO-8859-1?Q?Fr=E9d=E9ric_Gava?= Reply-To: gava@univ-paris12.fr Organization: =?ISO-8859-1?Q?Universit=E9_de_Paris_12=2C_LACL?= User-Agent: Thunderbird 1.5.0.14ubu (X11/20080505) MIME-Version: 1.0 To: caml-list@yquem.inria.fr, coq-club@pauillac.inria.fr, skeletons@inf.ed.ac.uk, asr-forum@cines.fr, gdr.gpl@imag.fr Subject: 2nd Cfp : PAPP 2009 (Part of ICCS 2009) Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; gava:01 gava:01 lacl:01 lncs:01 scalable:01 low-level:01 high-level:01 scalable:01 haskell:01 genericity:01 abstraction:01 semantics:01 high-level:01 semantics:01 predictors:01 --------------------------------------------------------------------- Please accept our apologies if you have received multiple copies. Please feel free to distribute it to those who might be interested. --------------------------------------------------------------------- ---------------------------------------------------------- 2nd CALL FOR PAPERS PAPP 2009 Sixth International Workshop on aPpplications of declArative and object-oriented Parallel Programming http://lacl.univ-paris12.fr/gava/PAPP2009/ part of ICCS 2009 The International Conference on Computational Science May 25-27, 2009, Baton Rouge, Louisiana, USA ---------------------------------------------------------- NEW ! ----- New deadline (6/12 ==> 15/12) and maximal number of pages (8 pages LNCS ==> 10 pages) AIMS AND SCOPE Computational Science applications are more and more complex to develop and require more and more computing power. Bill McColl's post "Sequential Computing Considered Harmful" is an excellent summary of today's situation. Sequential computing cannot go further. Major companies in the computing industry now recognizes the urgency of reorienting an entire industry towards massively parallel computing (Think Parallel or Perish). Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards the increase of cores in processors, the number of processors and the need for scalable computing everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing. Thus high-level approaches should play a key role in the shift to scalable computing in every computer. Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programming in object-oriented languages, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. Alos, high level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimization of high-level programming languages, semantics of parallel languages, formal verification, design or certification of libraries, middlewares 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.), application of proof assistants to parallel applications, applications in all fields of computational science, benchmarks and experiments. Research on high-level grid programming is particularly relevant as well as domain specific parallel software. The aim of all these languages and tools is to improve and ease the development of applications (safety, expressivity, efficienty, etc.). Thus the Sixth PAPP workshop focuses on applications. 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: * applications in all fields of high-performance computing and visualisation (using high-level tools) * high-level models (CGM, BSP, MPM, LogP, etc.) and tools for parallel and grid computing * Program verification and Formal verification of parallel applications/ libraries/languages or new technics for parallel computing in computer-assisted reasoning * high-level parallel language design, implementation and optimisation * modular, object-oriented, 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 * benchmarks and experiments using such languages and tools * industrial uses of a high-level parallel language 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 three referees. The accepted papers will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series, as part of the ICCS proceedings. Submission must be done through the ICCS website: http://www.iccs-meeting.org/iccs2009/papers/upload.php We invite you to submit a full paper of 10 pages formatted according to the rules of LNCS, describing new and original results, no later than December 15, 2008. Submission implies the willingness of at least one of the authors to register and present the paper. An early email to papp at free.fr 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 Scalable Computing: Practice and Experience, provided revisions suggested by the referees are made. IMPORTANT DATES December 15, 2008 - Full paper due February 2, 2009 - Referee reports and notification February 15, 2009 - Camera-ready paper due September 15, 2009 - Journal version due PROGRAM COMMITTEE * Marco Aldinucci (University of Pisa, Italy) * Anne Benoit (ENS Lyon, France) * Umit V Catalyurek (The Ohio State University, USA) * Emmanuel Chailloux (University of Paris 6, France) * Manuel Chakravarty (University of New South Wales, Australia) * Frédéric Gava (University Paris-East (Paris 12), France) * Alexandros Gerbessiotis (NJIT, USA) * Clemens Grelck (University of Amsterdam, Netherlands) * Hideya Iwasaki (The University of Electro-communications, Japan) * Paul H. J. Kelly (Imperial College London, UK) * Christoph Kessler (Linköpings Universitet, Sweden) * Kiminori Matsuzaki (The University of Tokyo, Japan) * Samuel Midkiff (Purdue University, USA) * Rita Loogen (University of Marburg, Germany) * Frédéric Loulergue (University of Orléans, France) * Susanna Pelagatti (University of Pisa, Italy) * Bruno Raffin (INRIA, France) * Casiano Rodriguez Leon (University La Laguna, Spain) ORGANIZERS Dr. Anne BENOIT Laboratoire d'Informatique du Parallélisme Ecole Normale Supérieure de Lyon 46 Allée d'Italie 69364 Lyon Cedex 07 - France Dr. Frédéric GAVA Laboratoire d'algorithmique, complexité et logique Université de Paris-Est (Paris 12) 61 avenue du Général de Gaulle 94010 Créteil cedex - France -- Anne Benoit http://graal.ens-lyon.fr/~abenoit/