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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 782547F20B for ; Mon, 11 Feb 2013 18:51:04 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gaetan.hains@gmail.com) identity=pra; client-ip=209.85.219.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gaetan.hains@gmail.com"; x-sender="gaetan.hains@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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: AtEJADwuGVHRVds0lGdsb2JhbABEgkmDK1qhS5h+CBYOAQEBAQkJCwkSKYIxAREGCBUBGwoUAxIDDS0KAiQBDAEEAQUBAwExCId3AQECDwySe4wtgnCLZUoFCYJyhBEKGQQKGQ1ZiHwBBQyNKgsKgy+BEwOWJIZuiAMWKUSDZoFlCRc X-IPAS-Result: AtEJADwuGVHRVds0lGdsb2JhbABEgkmDK1qhS5h+CBYOAQEBAQkJCwkSKYIxAREGCBUBGwoUAxIDDS0KAiQBDAEEAQUBAwExCId3AQECDwySe4wtgnCLZUoFCYJyhBEKGQQKGQ1ZiHwBBQyNKgsKgy+BEwOWJIZuiAMWKUSDZoFlCRc X-IronPort-AV: E=Sophos;i="4.84,643,1355094000"; d="scan'208";a="1834907" Received: from mail-oa0-f52.google.com ([209.85.219.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Feb 2013 18:40:56 +0100 Received: by mail-oa0-f52.google.com with SMTP id k14so6604580oag.11 for ; Mon, 11 Feb 2013 09:51:02 -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=sqY7qxWYw+O18eeUNd7ohqcxFJ/JxxTN607EcDzkv74=; b=uFq/18wMWPuLN7kxzLx6uDePTWM0nRXtS/gQGK/hxA1UONDb10ztnxoFqroFnb8QOF 0o1KvVAqSieL0hPN65pKMjqVXaWsycMtrzLq+HFV8Po9hDrw7KHxfe29I46JPBO4+xhE CL51n1StXb9pebbKegTIU/p8k2YBUMaFXzPOFf4eNf9Jid1aJly4EGoqF1Tja9NBnzbt JHiCG+Oa4fyfTCVauHO80K7nNC6GYhh+/mjx0+tuIzRbBdPtFIAyxEVqEJgTzQyvQwLo /k0zev7vM9NSg2dKaUB91E1qN65lT+T7yuTVEmkQbT8dRaZ62Hwd2grShOybF1dsR89l vYdA== X-Received: by 10.60.169.229 with SMTP id ah5mr11492019oec.66.1360605062026; Mon, 11 Feb 2013 09:51:02 -0800 (PST) MIME-Version: 1.0 Received: by 10.76.108.177 with HTTP; Mon, 11 Feb 2013 09:50:40 -0800 (PST) Reply-To: gaetan.hains@gmail.com From: Gaetan Hains Date: Mon, 11 Feb 2013 18:50:40 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec54ee07666d4e204d5768db2 X-Validation-by: gaetan.hains@gmail.com Subject: [Caml-list] HLPP2013 Paris July2013: Last Call for Papers: 17 February --bcaec54ee07666d4e204d5768db2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable *HLPP2013 Paris July2013: Last Call for Papers: 17 February International Symposium on High-level Parallel Programming and Applications, https://sites.google.com/site/hlpp2013/ All accepted papers will be published in a special issue of the Springer International Journal of Parallel Programming. Symposium held in central Paris Mon-Tue 1-2 July 2013. Invited speaker: L. Valiant, 2010 Turing award, inventor of the BSP paradigm. Contacts: gaetan.hains@u-pec.fr, Youry.Khmelevsky@ubc.ca* * * *---* 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 --- --bcaec54ee07666d4e204d5768db2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable HLPP2013 Paris July2013: Last Call for Papers: 17 = February
International S= ymposium on High-level Parallel Programming and Applications, =C2=A0= https:/= /sites.google.com/site/hlpp2013/

All accepted papers will b= e published in a special issue of the Springer International Journal of Par= allel Programming.
Symposium held in central Paris Mon-Tue 1-2 July 2013.
Invited speaker: L. Valiant, 2010 Turing award,= inventor of the BSP paradigm.

Contacts: gaetan.hains@u-pec.fr, =C2=A0=C2=A0Youry.Khmelevsky@ubc.ca

---
CALL FOR PAPERS

International Symposium on High-level P= arallel Programming and Applications


<= /div>
HLPP2013, =C2=A0Paris 1-2 July 20= 13

Aims and scope:=C2=A0
As processor and s= ystem manufacturers increase the amount of both inter-
and intra-chip parallelism i= t becomes crucial to provide the software
industry with high-level, clean and efficient too= ls for parallel
programming. Parallel and di= stributed programming methodologies are
currently dominated by low-level techniques such as= send/receive message
passing, or equivalently uns= tructured shared memory
mechanisms. Higher-level, structured approaches offer many possible=
advantages and have a key ro= le to play in the scalable exploitation of
ubiquitous parallelism.=C2=A0
<= font face=3D"Times New Roman" size=3D"3">
Since 2001 <= http://www.hlpp.eu> the HLPP series o= f meetings has been a
forum for researchers developing state-of-the-art concepts, tools an= d
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.=C2=A0

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

Topics: =C2=A0HLPP 2013 invites the sub= mission of papers written in English
on all topics including (but not limited to) the follo= wing aspects
of multi-core, parallel, dis= tributed, grid and cloud computing:=C2=A0

=C2=A0 =C2=A0 High-=C2=ADlevel programming and performance m= odels (BSP, CGM, LogP,
=C2=A0 =C2=A0 MPM, etc.) and= tools=C2=A0
=C2= =A0 =C2=A0 Declarative parallel programming methodologies=C2=A0
=C2=A0 =C2=A0 Algorithmic s= keletons and constructive methods=C2=A0
=C2=A0 =C2=A0 Declarative pa= rallel programming languages and libraries: semantics
=C2=A0 =C2=A0 and implementation=C2= =A0
=C2=A0 =C2= =A0 Verification of declarative parallel and distributed programs=C2=A0
=C2=A0 =C2=A0 Software synth= esis, automatic code generation for parallel programming=C2=A0
=
=C2=A0 =C2=A0 Model-driven s= oftware engineering with parallel programs=C2=A0
=C2=A0 =C2=A0 High-level met= hods for heterogeneous/hierarchical platforms: GPGPU,
=C2=A0 =C2=A0 FPGA etc. =C2=A0=
=C2=A0 =C2=A0 High-lev= el parallel methods for large structured and
=C2=A0 =C2=A0 semi-structure= d datasets=C2=A0
=C2=A0 =C2=A0 Applications of parallel systems using high=C2=ADlevel langu= ages and tools=C2=A0
=C2=A0 =C2=A0 Teaching experience= with high=C2=ADlevel tools and methods =C2=A0=C2=A0

Proceedings: =C2=A0
Authors of accepted papers will be = expected to register and to present
their paper at the symposium= .=C2=A0
All acce= pted papers will be eligible for publication in a special issue
of Springer's Internati= onal Journal of Parallel Programming

International programme committee:=C2= =A0

<= /div>
=C2=A0 =C2=A0 Mostafa B= amha (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 (U= niversity of Edimburgh, United Kingdom)=C2=A0
=C2=A0 =C2=A0 Kento Emoto (University of To= kyo, Japan)
=C2= =A0 =C2=A0 Fr=C3=A9d=C3=A9ric Gava (Universit=C3=A9 Paris-Est, France)
=C2=A0 =C2=A0 Alexandros Ger= bessiotis (New Jersey Institute of Technology, United
=C2=A0 =C2=A0 States)
=C2=A0 =C2=A0 Andy Gill (Univer= sity of Kansas, United States)
=C2=A0 =C2=A0 Clemens Grelck= (University of Amsterdam, Netherlands)
=C2=A0 =C2=A0 Christoph Kessler (Link=C3=B6ping Uni= versity, Sweden)=C2=A0
=C2=A0 =C2=A0 Herbert Kuchen= (Universit=C3=A4t M=C3=BCnster, Germany)
=C2=A0 =C2=A0 Ramon Lawrence (University of Briti= sh Columbia, Canada)
=C2=A0 =C2=A0 Quentin Miller (Som= erville College Oxford, United Kingdom)
=C2=A0 =C2=A0 Susanna Pelagatti (University of Pisa= , Italy)
=C2=A0 =C2=A0 Alexander Tiskin (U= niversity of Warwick, United Kingdom)

Organizers and program co-chairs: =C2=A0

=C2=A0 =C2=A0 Ga=C3=A9tan Hains (Univer= sit=C3=A9 Paris-Est, France)=C2=A0
=C2=A0 =C2=A0 Youry Khmelevsky (University of British Co= lumbia, Canada)=C2=A0

HLPP steering committee:=C2=A0

=C2=A0 =C2=A0 Clemens Grelck (Unive= rsity of Amsterdam, Netherlands)
=C2=A0 =C2=A0 Ga=C3=A9tan Ha= ins (Universit=C3=A9 Paris-Est, France)
=C2=A0 =C2=A0 Kiminori Matsuzaki (Kochi University = of Technology, Japan)=C2=A0
=C2=A0 =C2=A0 Fr=C3=A9d=C3= =A9ric Loulergue (Universit=C3=A9 d'Orl=C3=A9ans, France)=C2=A0<= /div>
=C2=A0 =C2=A0 Quentin M= iller (Somerville College Oxford, United Kingdom)
=C2=A0 =C2=A0 Alexander Tisk= in (University of Warwick, United Kingdom)

Paper submission: =C2=A0=C2=A0
Submitted papers must not ha= ve been published or simultaneously
submitted elsewhere. =C2=A0Submission should include a = cover page with
authors' names, affiliat= ion addresses, fax numbers, phone numbers, and
email addresses. =C2=A0Please, indicate cle= arly the corresponding author and
include up to 6 keywords fro= m the above list of topics and an abstract
of no more than 450 words. =C2=A0Submissions sho= uld cover approximately 15
pages and camera-ready versi= ons will be 20 pages long. =C2=A0Full manuscripts
should be prepared with the IJSS latex ma= cro package
submitted via the IJPP onlin= e editorial system
<http://www.editori= almanager.com/ijpp/>. =C2=A0Only source latex files will
be acepted by the system. Ea= ch paper will receive a minimum of three
reviews. =C2=A0Papers will be selected based on th= eir originality, relevance,
technical clarity and presen= tation. =C2=A0Authors of accepted papers must
guarantee that their papers will be registe= red and presented at the
symposium. =C2=A0Accepted pa= pers will be made available at the time of the
meeting and published in the symposium proc= eedings.=C2=A0
=C2=A0
Important dates:=C2=A0
HLPP2013
=C2=A0
=C2=A0 Paper submissions =C2= =A0 =C2=A0 = =C2=A0Sun. =C2=A017 February 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 Poin= car=C3=A9 <http://www.ihp.fr/>, Pa= ris.=C2=A0
Regis= tration: =C2=A0 Registration fees will be kept to a minimum. Details=
will be shown here as early = as possible.=C2=A0

=C2=A0Pa= st 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/=C2=A0
=C2=A0
---
--bcaec54ee07666d4e204d5768db2--