From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id BFAC97EE86 for ; Fri, 16 Nov 2012 11:07:46 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gaetan.hains@gmail.com) identity=pra; client-ip=209.85.220.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gaetan.hains@gmail.com"; x-sender="gaetan.hains@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of gaetan.hains@gmail.com designates 209.85.220.182 as permitted sender) identity=mailfrom; client-ip=209.85.220.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gaetan.hains@gmail.com"; x-sender="gaetan.hains@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f182.google.com) identity=helo; client-ip=209.85.220.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gaetan.hains@gmail.com"; x-sender="postmaster@mail-vc0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhwCALMPplDRVdy2m2dsb2JhbABEhURavCYIIwEBAQEBCAkLCRQXEIIwARcIFQEbChQDEgMNNwIkAQwBBAEFAQMBMYd6AQECDwucPoJvi2RPCYJvhHAKGQQKGQ1ZiHUBBQyMJRSDZoETA5V8hmiHehYpQ4NPgVoJFw X-IronPort-AV: E=Sophos;i="4.83,263,1352070000"; d="scan'208";a="181809007" Received: from mail-vc0-f182.google.com ([209.85.220.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Nov 2012 11:07:45 +0100 Received: by mail-vc0-f182.google.com with SMTP id fo13so4779951vcb.27 for ; Fri, 16 Nov 2012 02:07:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:from:date:message-id:subject:to:content-type; bh=Dv94P20e/WzKNBOtJ+egZz5kLChVfILOlXwlZyaMTPY=; b=zuds1fc72LEt+6aXIi1DoOYAC0K5rBKTfeKL2iXvVF5RI7fXdwuevjvPCldcu9tpZx HqCOpY/b5UhL/njDCL5qcVhPEvSHB0QFBYnmxYeQmIFlxRecvc4KXHVo3QnpFf1h0Kv9 zK6JoyOfVASsEcePheYbr9FeTZ0AzgPoX72f7WoppDG5YosoPT2UydwFMw2jUBV8eEzQ dC0yJE9AVWlyTHfDu+CY5/+P5yvudLHGr/p/5POWwk7GV5pjtG9bAEonws45dtVEXI48 MU+AHz1NZLzsF7EXLEc+6aSp7nd9vE6cAI81nQL7YHG5gIuAKxUXOfrjXNP/PLoddpn8 JixA== Received: by 10.52.71.2 with SMTP id q2mr4881840vdu.106.1353060464483; Fri, 16 Nov 2012 02:07:44 -0800 (PST) MIME-Version: 1.0 Received: by 10.220.133.143 with HTTP; Fri, 16 Nov 2012 02:07:24 -0800 (PST) Reply-To: gaetan.hains@gmail.com From: Gaetan Hains Date: Fri, 16 Nov 2012 11:07:24 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec5015f73585d1a04ce99f09f X-Validation-by: gaetan.hains@gmail.com Subject: [Caml-list] HLPP2013 CFP --bcaec5015f73585d1a04ce99f09f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable International Symposium on High-level Parallel Programming and Applications HLPP2013, Paris 1-2 July 2013. Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of meetings has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 2013 symposium will be a self-contained event, held in central Paris. HLPP 2013 invites the submission of papers written in English on all topics including (but not limited to) the following aspects of multi-core, parallel, distributed, grid and cloud computing: - High-=C2=ADlevel programming and performance models (BSP, CGM, LogP, MPM, etc.) and tools - Declarative parallel programming methodologies - Algorithmic skeletons and constructive methods - Declarative parallel programming languages and libraries: semantics and implementation - Verification of declarative parallel and distributed programs - Software synthesis, automatic code generation for parallel programming - Model-driven software engineering with parallel programs - High-level methods for heterogeneous/hierarchical platforms: GPGPU, FPGA etc. - High-level parallel methods for large structured and semi-structured datasets - Applications of parallel systems using high=C2=ADlevel languages and tools - Teaching experience with high=C2=ADlevel tools and methods Proceedings: Authors of accepted papers will be expected to register and to present their paper at the symposium. All accepted papers will be eligible for publication in a special issue of Springer's International Journal of Parallel Programming (IJPP). International programme committee: Mostafa Bamha (Universit=C3=A9 d'Orl=C3=A9ans, France) Pavan Balaji (Argonne National Laboratory, United States) Rob Bisseling (Utrecht University, Netherlands) Murray Cole (University of Edimburgh, United Kingdom) Kento Emoto (University of Tokyo, Japan) Fr=C3=A9d=C3=A9ric Gava (Universit=C3=A9 Paris-Est, France) Alexandros Gerbessiotis (New Jersey Institute of Technology, United States) Andy Gill (University of Kansas, United States) Clemens Grelck (University of Amsterdam, Netherlands) Christoph Kessler (Link=C3=B6ping University, Sweden) Herbert Kuchen (Universit=C3=A4t M=C3=BCnster, Germany) Ramon Lawrence (University of British Columbia, Canada) Quentin Miller (Sommerville College Oxford, United Kingdom) Susanna Pelagatti (University of Pisa, Italy) Alexander Tiskin (University of Warwick, United Kingdom) Organizers and program co-chairs: Ga=C3=A9tan Hains (Universit=C3=A9 Paris-Est, France) Youry Khmelevsky (University of British Columbia, Canada) HLPP steering committee: Clemens Grelck (University of Amsterdam, Netherlands) Ga=C3=A9tan Hains (Universit=C3=A9 Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Fr=C3=A9d=C3=A9ric Loulergue (Universit=C3=A9 d'Orl=C3=A9ans, France) Quentin Miller (Sommerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) Paper submission: Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 450 words. Submissions should cover approximately 15 pages and camera-ready versions will be 20 pages long. Full manuscripts should be prepared with the Springer IJSS latex macro package and submitted via the IJPP online editorial system. Only PDF files will be accepted. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, technical clarity and presentation. Authors of accepted papers must guarantee that their papers will be registered and presented at the symposium. Accepted papers will be made available at the time of the meeting and published in the symposium proceedings. Important dates: HLPP2013 Paper submissions Sun. 17 February 2013 Notification to authors Sun. 17 March 2013 HLPP symposium Mon.-Tue. 1-2 July 2012 Venue: Institut Henri Poincar=C3=A9, Paris. Registration: Registration fees will be kept to a minimum. Details will be shown here as early as possible. Invited speaker: TBA Past HLPP events: http://www.hlpp-workshop.org URL for this page: https://sites.google.com/site/hlpp2013/ Contacts: Gaetan.Hains@u-pec.fr, Youry.Khmelevsky@ubc.ca --bcaec5015f73585d1a04ce99f09f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
International Symposium on High-level Parallel Programming and Applica= tions
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 HLPP2013, =C2=A0Paris 1-2 July 2013. =C2=A0


Aims and scope:=C2=A0
As processor and system manufacturers increase the amount of both inte= r- and intra-chip parallelism it becomes crucial to provide the software in= dustry with high-level, clean and efficient tools for parallel programming.= Parallel and distributed programming methodologies are currently dominated= by low-level techniques such as send/receive message passing, or equivalen= tly unstructured shared memory mechanisms. Higher-level, structured approac= hes offer many possible advantages and have a key role to play in the scala= ble exploitation of ubiquitous parallelism.=C2=A0

Since 2001 the HLPP series of meetings has been a forum= for researchers developing state-of-the-art concepts, tools and applicatio= ns for high-level parallel programming. The general emphasis is on software= quality, programming productivity and high-level performance models. The 2= 013 symposium will be a self-contained event, held in central Paris.=C2=A0<= /div>
HLPP 2013 invites the submission of papers written in English on all t= opics including (but not limited to) the following aspects of multi-core, p= arallel, distributed, grid and cloud computing:=C2=A0

<= div> - High-=C2=ADlevel programming and performance models (BSP, CGM, LogP, MPM,= etc.) and tools
- Declarative parallel programming methodologies=
- Algorithmic skeletons and constructive methods
- Dec= larative parallel programming languages and libraries: semantics and implem= entation
- Verification of declarative parallel and distributed programs
<= div>- Software synthesis, automatic code generation for parallel programmin= g
- Model-driven software engineering with parallel programs
- High-level methods for heterogeneous/hierarchical platforms: GPGPU, = FPGA etc.=C2=A0
- High-level parallel methods for large structure= d and semi-structured datasets
- Applications of parallel systems= using high=C2=ADlevel languages and tools
- Teaching experience with high=C2=ADlevel tools and methods =C2=A0

Proceedings:=C2=A0
Authors of accepted pap= ers will be expected to register and to present their paper at the symposiu= m.=C2=A0
All accepted papers will be eligible for publication in a special issue of = Springer's International Journal of Parallel Programming (IJPP).=C2=A0<= /div>

=C2=A0International programme committee:
Mostafa Bamha (Universit=C3=A9 d'Orl=C3=A9ans, France)
Pavan Balaji (Argonne National Laboratory, United States)
Ro= b Bisseling (Utrecht University, Netherlands)=C2=A0
Murray Cole (= University of Edimburgh, United Kingdom)=C2=A0
Kento Emoto (Unive= rsity of Tokyo, Japan)
Fr=C3=A9d=C3=A9ric Gava (Universit=C3=A9 Paris-Est, France)
= Alexandros Gerbessiotis (New Jersey Institute of Technology, United States)=
Andy Gill (University of Kansas, United States)
Clemen= s Grelck (University of Amsterdam, Netherlands)
Christoph Kessler (Link=C3=B6ping University, Sweden)=C2=A0
= Herbert Kuchen (Universit=C3=A4t M=C3=BCnster, Germany)
Ramon Law= rence (University of British Columbia, Canada)
Quentin Miller (So= mmerville College Oxford, United Kingdom)
Susanna Pelagatti (University of Pisa, Italy)
Alexander Tisk= in (University of Warwick, United Kingdom)

=C2=A0O= rganizers and program co-chairs:=C2=A0
Ga=C3=A9tan Hains (Univers= it=C3=A9 Paris-Est, France)=C2=A0
Youry Khmelevsky (University of British Columbia, Canada)=C2=A0
<= div>
=C2=A0HLPP steering committee:
Clemens Grelck = (University of Amsterdam, Netherlands)
Ga=C3=A9tan Hains (Univers= it=C3=A9 Paris-Est, France)
Kiminori Matsuzaki (Kochi University of Technology, Japan)=C2=A0
=
Fr=C3=A9d=C3=A9ric Loulergue (Universit=C3=A9 d'Orl=C3=A9ans, Fran= ce)=C2=A0
Quentin Miller (Sommerville College Oxford, United King= dom)
Alexander Tiskin (University of Warwick, United Kingdom)

Paper submission:=C2=A0
Submitted papers must= not have been published or simultaneously submitted elsewhere. =C2=A0Submi= ssion should include a cover page with authors' names, affiliation addr= esses, fax numbers, phone numbers, and email addresses. =C2=A0Please, indic= ate clearly the corresponding author and include up to 6 keywords from the = above list of topics and an abstract of no more than 450 words. =C2=A0Submi= ssions should cover approximately 15 pages and camera-ready versions will b= e 20 pages long. =C2=A0Full manuscripts should be prepared with the Springe= r IJSS latex macro package and submitted via the IJPP online editorial syst= em. =C2=A0Only PDF files will be accepted. =C2=A0Each paper will receive a = minimum of three reviews. =C2=A0Papers will be selected based on their orig= inality, relevance, technical clarity and presentation. =C2=A0Authors of ac= cepted papers must guarantee that their papers will be registered and prese= nted at the symposium. =C2=A0Accepted papers will be made available at the = time of the meeting and published in the symposium proceedings.=C2=A0

Important dates:=C2=A0
HLPP2013
=C2=A0Paper submissions =C2=A0 Sun. 17 February 2013
=C2=A0Not= ification to authors Sun. 17 March 2013
=C2=A0HLPP symposium Mon.-Tue. 1-2 July 2012

Venue: =C2= =A0Institut Henri Poincar=C3=A9, Paris.=C2=A0
Registration: =C2= =A0Registration fees will be kept to a minimum. Details will be shown here = as early as possible.=C2=A0
Invited speaker: =C2=A0TBA

Past HLPP events: = =C2=A0 =C2=A0 =C2=A0 =C2=A0 http:/= /www.hlpp-workshop.org
URL for this page: =C2=A0 =C2=A0 =C2= =A0 =C2=A0 https://site= s.google.com/site/hlpp2013/=C2=A0
--bcaec5015f73585d1a04ce99f09f--