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 08A9F7EEAF for ; Mon, 21 Jan 2013 14:49:55 +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.219.52; 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.219.52 as permitted sender) identity=mailfrom; client-ip=209.85.219.52; 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-oa0-f52.google.com) identity=helo; client-ip=209.85.219.52; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gaetan.hains@gmail.com"; x-sender="postmaster@mail-oa0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwGAIZG/VDRVds0m2dsb2JhbABEhWtagRudb5hUCBYOAQEBAQEICQsJFCeCMAERBggVARsKFAMSAw03AiQBDAEEAQUBAwExiAYBAQIPDI5ejCmCcItlSgUJgnKELAoZBAoZDVmIBQEFDIxqCwqDG4ETA5YMhmmHfxYpQ4NVgWUJFw X-IronPort-AV: E=Sophos;i="4.84,506,1355094000"; d="scan'208";a="190925809" Received: from mail-oa0-f52.google.com ([209.85.219.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Jan 2013 14:49:52 +0100 Received: by mail-oa0-f52.google.com with SMTP id o6so5943490oag.39 for ; Mon, 21 Jan 2013 05:49:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:reply-to:from:date:message-id:subject:to :content-type; bh=ub8+4DUfrHwirMmUZgbs8wae4PWLdPZyqxTsrXDfQKI=; b=JwMHLL/pJ3aiUtrtAv2b6ynsIA+Y2yiwmFxeP8XY9j8drUp5y1bIDF5JA/y/tNHP+w F/+gL15/zBkAYLsgYcoNXh6eUFntGBf0U1ky4zjVxDByWXV5JVZdQwT8hdY3TWHV/OX9 ESVQltxXTaS5u5l9s3omizLunvB4r09aULAphKkApHAgIngBN3V/9J+9vsNEW+ubfPX+ nkElK1J1CX2QdDupcbUBvP8+uviSCZIs3s/g/AwhcT9HL6PERLWu7q0lnFmbxRq483Wp ZPKhrqkggwD5n9vgCE9ZbVaMQuMs6NAmtxnh0X9JJvUsFpGFxaKF8MWA6NrbSe0cAiMk qWGw== X-Received: by 10.182.17.72 with SMTP id m8mr13687913obd.55.1358776190419; Mon, 21 Jan 2013 05:49:50 -0800 (PST) MIME-Version: 1.0 Received: by 10.76.124.148 with HTTP; Mon, 21 Jan 2013 05:49:30 -0800 (PST) Reply-To: gaetan.hains@gmail.com From: Gaetan Hains Date: Mon, 21 Jan 2013 14:49:30 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=f46d0444eb9f28c30e04d3ccbca4 X-Validation-by: gaetan.hains@gmail.com Subject: [Caml-list] HLPP2013 Paris July2013: Third Call for Papers --f46d0444eb9f28c30e04d3ccbca4 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable CALL FOR PAPERS International Symposium on High-level Parallel Programming and Applications https://sites.google.com/site/hlpp2013 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. Invited speaker: Leslie Valiant (Harvard University) inventor of the BSP paradigm and 2010 Turing award. Topics: 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 to= ols 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 (Somerville 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 (Somerville 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 IJSS latex macro package < http://www.springer.com/cda/content/document/cda_downloaddocument/LaTeX.zip= ?SGWID=3D0-0-45-468198-0> and submitted via the IJPP online editorial system . Only source latex files will be acepted by the system. 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. Past HLPP events: http://www.hlpp.eu URL for this page: https://sites.google.com/site/hlpp2013/ Contacts: Gaetan.Hains@u-pec.fr, Youry.Khmelevsky@ubc.ca --f46d0444eb9f28c30e04d3ccbca4 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
CALL FOR PAPERS

International Symposium on Hi= gh-level Parallel Programming and Applications


HLPP2013, =C2=A0Paris 1-2 July 2013

Aims and scope:=C2=A0
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 me= ssage
passing, or equivalently unstructured shared memory
mechanis= ms. Higher-level, structured approaches offer many possible
advan= tages and have a key role to play in the scalable exploitation of
ubiquitous parallelism.=C2=A0

Since 2001 <= http://www.hlpp.eu> the HLPP series o= f meetings has been a
forum for researchers developing state-of-t= he-art concepts, tools and
applications for high-level parallel programming. The general emphasis=
is on software quality, programming productivity and high-level<= /div>
performance models. The 2013 symposium will be a self-contained e= vent,
held in central Paris.=C2=A0

Invited speaker:= Leslie Valiant (Harvard University) inventor of the
BSP paradigm= and 2010 Turing award.

Topics: =C2=A0HLPP 2013 in= vites 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:=C2= =A0

=C2=A0 =C2=A0 High-=C2=ADlevel programming and= performance models (BSP, CGM, LogP,
=C2=A0 =C2=A0 MPM, etc.) and tools=C2=A0
=C2=A0 =C2=A0 Decla= rative parallel programming methodologies=C2=A0
=C2=A0 =C2=A0 Alg= orithmic skeletons and constructive methods=C2=A0
=C2=A0 =C2=A0 D= eclarative parallel programming languages and libraries: semantics
=C2=A0 =C2=A0 and implementation=C2=A0
=C2=A0 =C2=A0 Verific= ation of declarative parallel and distributed programs=C2=A0
=C2= =A0 =C2=A0 Software synthesis, automatic code generation for parallel progr= amming=C2=A0
=C2=A0 =C2=A0 Model-driven software engineering with= parallel programs=C2=A0
=C2=A0 =C2=A0 High-level methods for heterogeneous/hierarchical platfo= rms: GPGPU,
=C2=A0 =C2=A0 FPGA etc. =C2=A0
=C2=A0 =C2= =A0 High-level parallel methods for large structured and
=C2=A0 = =C2=A0 semi-structured datasets=C2=A0
=C2=A0 =C2=A0 Applications of parallel systems using high=C2=ADlevel langua= ges and tools=C2=A0
=C2=A0 =C2=A0 Teaching experience with high=C2=ADlevel tools and metho= ds =C2=A0=C2=A0

Proceedings: =C2=A0
Auth= ors of accepted papers will be expected to register and to present
their paper at the symposium.=C2=A0
All accepted papers will be eligible for publication in a special issu= e
of Springer's International Journal of Parallel Programming=

International programme committee:=C2=A0

=
=C2=A0 =C2=A0 Mostafa Bamha (Universit=C3=A9 d'Orl=C3=A9ans,= France)
=C2=A0 =C2=A0 Pavan Balaji (Argonne National Laboratory,= United States)
=C2=A0 =C2=A0 Rob Bisseling (Utrecht University, = Netherlands)=C2=A0
=C2=A0 =C2=A0 Murray Cole (University of Edimburgh, United Kingdom)=C2= =A0
=C2=A0 =C2=A0 Kento Emoto (University of Tokyo, Japan)
<= div>=C2=A0 =C2=A0 Fr=C3=A9d=C3=A9ric Gava (Universit=C3=A9 Paris-Est, Franc= e)
=C2=A0 =C2=A0 Alexandros Gerbessiotis (New Jersey Institute of= Technology, United
=C2=A0 =C2=A0 States)
=C2=A0 =C2=A0 Andy Gill (University of= Kansas, United States)
=C2=A0 =C2=A0 Clemens Grelck (University = of Amsterdam, Netherlands)
=C2=A0 =C2=A0 Christoph Kessler (Link= =C3=B6ping University, Sweden)=C2=A0
=C2=A0 =C2=A0 Herbert Kuchen (Universit=C3=A4t M=C3=BCnster, Germany)
=
=C2=A0 =C2=A0 Ramon Lawrence (University of British Columbia, Canada)<= /div>
=C2=A0 =C2=A0 Quentin Miller (Somerville College Oxford, United K= ingdom)
=C2=A0 =C2=A0 Susanna Pelagatti (University of Pisa, Ital= y)
=C2=A0 =C2=A0 Alexander Tiskin (University of Warwick, United Kingdom)=

Organizers and program co-chairs: =C2=A0

=C2=A0 =C2=A0 Ga=C3=A9tan Hains (Universit=C3=A9 Paris-Est= , France)=C2=A0
=C2=A0 =C2=A0 Youry Khmelevsky (University of Bri= tish Columbia, Canada)=C2=A0

HLPP steering committee:=C2=A0

=C2=A0 =C2=A0 Clemens Grelck (University of Amsterdam, Netherlands)
<= div>=C2=A0 =C2=A0 Ga=C3=A9tan Hains (Universit=C3=A9 Paris-Est, France)
=C2=A0 =C2=A0 Kiminori Matsuzaki (Kochi University of Technology, Ja= pan)=C2=A0
=C2=A0 =C2=A0 Fr=C3=A9d=C3=A9ric Loulergue (Universit=C3=A9 d'Orl= =C3=A9ans, France)=C2=A0
=C2=A0 =C2=A0 Quentin Miller (Somerville= College Oxford, United Kingdom)
=C2=A0 =C2=A0 Alexander Tiskin (= University of Warwick, United Kingdom)

Paper submission: =C2=A0=C2=A0
Submitted papers must n= ot have been published or simultaneously
submitted elsewhere. =C2= =A0Submission should include a cover page with
authors' names= , affiliation addresses, fax numbers, phone numbers, and
email addresses. =C2=A0Please, indicate clearly the corresponding auth= or and
include up to 6 keywords from the above list of topics and= an abstract
of no more than 450 words. =C2=A0Submissions should = cover approximately 15
pages and camera-ready versions will be 20 pages long. =C2=A0Full manu= scripts
should be prepared with the IJSS latex macro package
submitted via the IJPP online editorial system
<http://www.editorialmanager.com/= ijpp/>. =C2=A0Only source latex files will
be acepted by t= he system. Each paper will receive a minimum of three
reviews. =C2=A0Papers will be selected based on their originality, rel= evance,
technical clarity and presentation. =C2=A0Authors of acce= pted papers must
guarantee that their papers will be registered a= nd presented at the
symposium. =C2=A0Accepted papers will be made available at the time of= the
meeting and published in the symposium proceedings.=C2=A0
=C2=A0
Important dates:=C2=A0
HLPP2013
=C2=A0
=C2=A0 Paper submissions =C2=A0 =C2=A0 =C2=A0Sun. =C2=A017 Februar= y 2013=C2=A0
=C2=A0 Notification to authors Sun. =C2=A017 March 2013=C2=A0
=C2=A0 HLPP symposium =C2=A0Mon.-Tue. 1-2 July 2012=C2=A0

Venue: =C2=A0 Institut Henri Poincar=C3=A9 <http://www.ihp.fr/>, Paris.=C2=A0
Registration: =C2=A0 Registration fees will be kept to a minimum. Deta= ils
will be shown here as early as possible.=C2=A0

=
=C2=A0Past HLPP events: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0http://www.hlpp.eu=C2=A0
=C2=A0URL for this page: =C2=A0 =C2=A0 =C2=A0 =C2=A0 https://sites.google.com/site/hlpp2013/<= /a>=C2=A0

--f46d0444eb9f28c30e04d3ccbca4--