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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 111767F617; Thu, 4 May 2017 10:30:18 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bpientka@cs.mcgill.ca; spf=Pass smtp.mailfrom=bpientka@cs.mcgill.ca; spf=None smtp.helo=postmaster@mail.cs.mcgill.ca Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bpientka@cs.mcgill.ca) identity=pra; client-ip=132.206.51.234; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bpientka@cs.mcgill.ca"; x-sender="bpientka@cs.mcgill.ca"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bpientka@cs.mcgill.ca designates 132.206.51.234 as permitted sender) identity=mailfrom; client-ip=132.206.51.234; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bpientka@cs.mcgill.ca"; x-sender="bpientka@cs.mcgill.ca"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.cs.mcgill.ca) identity=helo; client-ip=132.206.51.234; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bpientka@cs.mcgill.ca"; x-sender="postmaster@mail.cs.mcgill.ca"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQExdZxaAkt9h2H5igwE5/JX/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsy7bB7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38H3YhNFzgqxVvhyuqBtxzpXOb42JMfpzZKPdcc8YSGdHQ81fVzZBAoS5?= =?us-ascii?q?b4YXEucBJ+dYr4b8p1sSsRuxGxSnCvnuyjBWgH/2wa463P48GgzBxwMgB9MOv2?= =?us-ascii?q?rSrNXpN6cdS/u4w7XTzTnZavNZxTj96InMchAlu/2DQah/fNPXxEIyGQ3FiVCQ?= =?us-ascii?q?ppbkPzOTzukCqXSU7+96WeKokW4npBl9oj2zyccji4nJgoYVxkrY+ipj2Io6Oc?= =?us-ascii?q?G4R1R9YdK+F5tQrS6aO5NoTcw4WGFpuDo1yr0ctp66ZigG0pMnxwTQa/GBboOG?= =?us-ascii?q?4QrjWf6MLTp2mn5pYqyziwqz/ES6yuDwS9O43EhEoydKitXAq34A2h/J5sSZRf?= =?us-ascii?q?Zw/12t1SiV2wzN5OxJJUY5nrfBJZE72L4/jJ8TvFzDHiDonEX2i7ebdkA+9eip?= =?us-ascii?q?7+TreKnppoSGO49xlg7+PaUumsi7AegiLgcBRXCX+eW61LL94U30WKhGg/Monq?= =?us-ascii?q?XDrpzWOcUWqrS5DgNIyIov9RiyAji+3NQdh3YHLVZFeBydj4juPlHDOOv3De++?= =?us-ascii?q?g1uyljdr2/PGMaf6D5rRNXjPirLhcqpy605dzAozycpT6I5OBb0ZOvL8RlfxtM?= =?us-ascii?q?DEDh8+KwG73/zoCNB51o8HXWKPA7SZML/JvF+T5uMvJvGMa5UPtDb8Lfgl/f/u?= =?us-ascii?q?gmUjlV8TZ6mjxYEXZ2ygHvR6P0WZZmLhjcsGEWcTpwYxUOjqiECZXjNIfHazX6?= =?us-ascii?q?c85ikhB468DIfDQJqtgL2b0yuhEJ1WfDMONlfZGHPwMo6KQ98JYSOWZMR61DoB?= =?us-ascii?q?TqXnRoM8kVmlvQr+jr5mNfb8+ysCtJul2sIxr+TcmRga8T1vE9/b2GGES2R5hH?= =?us-ascii?q?hOXDJylKB2uk9wzlOr0aFjgPFcEZpU/fwNGgw9LNvXy/FwI9H0QAPIONmTDB66?= =?us-ascii?q?U82rGnQ4SNQ23tkFbm55Gs6+lVbY0iOxRaINmrqNQpE47/HyxX/0cuxnynnHyL?= =?us-ascii?q?Usx2EnT81TNmTu0qRn9gXVG43Au06C0aOheqUY2GjG/THQniK1oEhEXVsoAu3+?= =?us-ascii?q?VncFax6OoA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BeAgAH5gpZmOozzoRdDhAYBwwYB4N/g?= =?us-ascii?q?QyDaIsLk0qKOohNKhmBTCyFeIRGQRYBAQEBAQEBAQEBARIBAQEBAQgLCwYoL4I?= =?us-ascii?q?zIIJmBkUEYAoCYCiKCg6vFhGBI4ImimkLAQEBAQEBIYZfgV4rhCyBQCWBHgEDH?= =?us-ascii?q?IMKLoIxBYlCjRuHBYcbjEiBNFWEZIM9hmqKSRZFhE4UhC8PFwiBAjEuIAguVwG?= =?us-ascii?q?CTIIeBIEyP3QBhjkBASQHghABAQE?= X-IPAS-Result: =?us-ascii?q?A0BeAgAH5gpZmOozzoRdDhAYBwwYB4N/gQyDaIsLk0qKOoh?= =?us-ascii?q?NKhmBTCyFeIRGQRYBAQEBAQEBAQEBARIBAQEBAQgLCwYoL4IzIIJmBkUEYAoCY?= =?us-ascii?q?CiKCg6vFhGBI4ImimkLAQEBAQEBIYZfgV4rhCyBQCWBHgEDHIMKLoIxBYlCjRu?= =?us-ascii?q?HBYcbjEiBNFWEZIM9hmqKSRZFhE4UhC8PFwiBAjEuIAguVwGCTIIeBIEyP3QBh?= =?us-ascii?q?jkBASQHghABAQE?= X-IronPort-AV: E=Sophos;i="5.38,287,1491256800"; d="scan'208,217";a="271635611" Received: from mail.cs.mcgill.ca ([132.206.51.234]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 May 2017 10:30:15 +0200 Received: from dhcp-10-180-21-2.dynamic.eduroam.mwn.de (host239-2.natpool.mwn.de [138.246.2.239]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mail.cs.mcgill.ca (Postfix) with ESMTPSA id 974AE2159985; Thu, 4 May 2017 04:30:10 -0400 (EDT) From: Brigitte Pientka Content-Type: multipart/alternative; boundary="Apple-Mail=_D10D96B7-A417-4130-BDD5-30168FE17533" Message-Id: Date: Thu, 4 May 2017 10:30:07 +0200 To: alp-cfp@mail.cs.nmsu.edu, caml-list@inria.fr, agda@lists.chalmers.se, haskell@haskell.org, coq-club@inria.fr, types-announce@lists.seas.upenn.edu Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Validation-by: bpientka@cs.mcgill.ca Subject: [Caml-list] PPDP 2017: Call For Papers (Abstract 12 May / Paper 19 May) --Apple-Mail=_D10D96B7-A417-4130-BDD5-30168FE17533 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D CALL FOR PAPERS=20 19th International Symposium on Principles and Practice of Declarative Programming PPDP 2017 Namur, Belgium, October 9-11, 2017 (co-located with LOPSTR'17) http://complogic.cs.mcgill.ca/ppdp2017 =09=09=09=09=20=20=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D SUBMISSION DEADLINE: 12 May (abstracts) / 19 May (papers) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D PPDP 2017 is a forum that brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint programming paradigms. The goal is to stimulate research in the use of logical forma= lisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification.=20 Submissions are invited on all topics from principles to practice, from foundations to applications. Topics of interest include, but are not limited to=20 ** Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. ** Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; garbage collection; memory management. ** Foundations: type systems; type classes; dependent types; logical frameworks; monads; resource analysis; cost models; continuations; control; state; effects; semantics. ** Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. ** Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. This year the conference will be co-located with the 27th Int'l Symp.=20=20 on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). IMPORTANT DATES: Abstract Submission: 12 May 2017 Paper Submission: 19 May 2017 Paper Rebuttal: 10 July 2017 Notification: 20 July 2017 Final Version: 15 Aug 2017 SUBMISSION CATEGORIES: Submissions can be made in three categories: regular Research Papers,=20 System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures and bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of research papers will be judged on originality, significance, correctness, clarity, and readability.=20=20=20= =20 Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readabilit= y.=20 Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 6 pages. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: * insights gained from real-world projects using declarative programming=20 * comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum=20 * curricular issues encountered when using declarative programming in education=20 * real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general * novel use of declarative programming in the classroom=20=20 * programming pearl that illustrates a nifty new data structure or programming technique. SUBMISSION GUIDELINES: Submissions must be formatted using ACM style files (latest release December 2016) using the instructions at=20 https://www.acm.org/publications/proceedings-template To prepare your submission using LaTex: * Download acmart.zip from https://www.ctan.org/pkg/acmart * Unzip acmart.zip * Run latex acmart.ins to produce an acmart.cls file * Run pdflatex sample-sigconf.tex to check that your installation works correctly * Write your paper using sample-sigconf.tex as a template=20=20 Proofs of theoretical results that do not fit within the page limit, executables of systems, code of case studies, benchmarks used to evaluate a given system, etc., should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but are not obliged to. Submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission.=20=20 At least one author of each accepted submission will be expected to attend and present their paper at the conference.=20 Papers must be submitted via easychair. The submission site is at=20 https://easychair.org/conferences/?conf=3Dppdp2017 PROCEEDING Accepted papers will be published in the ACM International Conference Proceedings Series. PROGRAM CHAIR Brigitte Pientka (McGill University) =20=20 PROGRAM COMMITTEE Andreas Abel (Gothenburg University) Nadia Amin (EPFL) Zena M. Ariola (University of Oregon) Kenichi Asai (Ochanomizu University) James Cheney (University of Edinburgh) Mariangiola Dezani-Ciancaglini (University of Torino) Santiago Escobar (Universitat Polit=C3=A8cnica de Val=C3=A8ncia)=20 Amy Felty (University of Ottawa) Thom Fr=C3=BChwirth (University of Ulm) Patricia Johann (Appalachian State University) Neel Krishnaswami (University of Cambridge) Micha=C3=ABl Leuschel (Universit=C3=A4t D=C3=BCsseldorf) Yanhong Annie Liu (Stony Brook University) Andres Loeh (Well-Typed) Vivek Nigam (Federal University of Paraiba / fortiss) Naoki Nishida (Nagoya University) Catuscia Palamidessi (INRIA) Brigitte Pientka (McGill University) (PC Chair) Ulrich Schoepp (Ludwig Maximilian University) Chung-chieh Shan (Indiana University) Bernardo Toninho (Imperial College London) LOCAL ORGANIZER (joint with LOPSTR): Wim Vanhoof (University of Namur)=20 ---------------------------------------------------------------------- --Apple-Mail=_D10D96B7-A417-4130-BDD5-30168FE17533 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

CALL FOR PAPERS 

  19th International Symposium on
 Principles and Practice of = Declarative Programming
     PPDP 2017

= Namur, Belgium, October 9-11, 2017
 (co-located with LOPSTR'17)

    http://complogic.cs.mcgill.ca/ppdp2017=
  <= /div>
=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

    &n= bsp;    SUBMISSION DEADLINE: 12 May (abstracts) / 19 May (papers)=

=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D

PPDP &n= bsp;2017  is a  forum  that  brings  together rese= archers  from  the
declarative  programming communities, including  th= ose working  in the
functional, logic, answer-set, and constraint programming<= /div>
paradigms. The  g= oal is to stimulate research  in the use  of logical formalisms
and  method= s for  analyzing, performing, specifying, and  reasoning about
computations, inc= luding mechanisms for concurrency, security, static
analysis, and verification. 

Submissions are i= nvited on all topics from principles to practice,
from foundations to applications. Topics= of interest include, but are
not limited to 

** Language Design: domain-specific languages; inter= operability;
&n= bsp;         concurrency, parallelism, and distribution= ; modules;
&nbs= p;         probabilistic languages; reactive languages;= database
 = ;         languages; knowledge representation languages= ; languages
&nb= sp;         with objects; language extensions for tabul= ation;
  &= nbsp;       metaprogramming.

** Implementations: abstract machines; interp= reters; compilation;
        compile-time and run-time optimization; g= arbage collection; memory
    management.

** Foundations: type systems; type classes; dependent types; lo= gical
  &n= bsp;     frameworks; monads; resource analysis; cost models;
     = ;   continuations; control; state; effects; semantics.

** Analysis and Transformatio= n: partial evaluation; abstract
         interpretation; control = flow; data flow; information flow;
         termination analysi= s; resource analysis; type inference and
         type checking; = verification; validation; debugging; testing.
<= font face=3D"Menlo" class=3D"">
= ** Tools and Applications: programming and = proof
  &n= bsp;    environments; verification tools; case studies in proof a= ssistants
 = ;      or interactive theorem provers; certification; novel = applications
&n= bsp;      of declarative programming inside and outside of C= S;
   = ;    declarative programming pearls; practical experience reports=
    =    and industrial application; education.

This year the conference will be co-= located with the  27th Int'l Symp.  
= on Logic-Based Program Synthesis and Transf= ormation (LOPSTR 2017).

IMPORTANT DATES:

Abstract Submission: 12 May   2017
Paper Submission:     19 May   2017<= /div>
Paper Rebuttal: 10 July  20= 17
Notification= : 20 July =  2017
Fina= l Version: 15 Aug   2017

SUBMISSION CATEGORIES:

Submissions can be made in three categories: regular Resear= ch Papers, 
System Descriptions, and Experience Reports.
=
Submissions of Research Papers must presen= t original research which is
unpublished and not submitted elsewhere. They must not exceed= 12 pages
ACM s= tyle 2-column (including figures and bibliography). Work that
<= div class=3D"">already appeared in unpublis= hed or informally  published workshop
proceedings may be submitted (please contact th= e PC chair in case of
questions). Submissions of research papers  will be judged on
originality, sig= nificance, correctness, clarity, and readability.    

Submission of System Desc= riptions must describe a working system whose
<= font face=3D"Menlo" class=3D"">description has not been published or submit= ted elsewhere. They must
not exceed 10 pages and should contain a link to a working system= . System
Descri= ptions must be marked as such at the time of submission and will
be judged on originality,= significance, usefulness, clarity, and readability. 

Submissions of Experience Repo= rts are meant to
help create a body of published, refereed, citable evidence where<= /div>
declarative programmin= g such as functional, logic, answer-set,
constraint programming, etc., is used in practice= . They must not
exceed 6 pages. Experience Reports must be marked as such at the time
of submission and n= eed not report original research results.  They
will be judged on significance, usefu= lness, clarity, and readability.

Possible topics for an Experience Report include, but ar= e not limited to:
  * insights gained from real-world projects using declarative
    progr= amming 
&n= bsp; * comparison of declarative programming with conventional
=
    programming i= n the context of an industrial project or a
    university curriculum 
  * curricular= issues encountered when using declarative programming
    in education 
  * real-wor= ld constraints that created special challenges for an
    implementation of a de= clarative language or for declarative
    programming in general
  * novel use of declarat= ive programming in the classroom  
  * programming pearl that illustrates a nift= y new data structure or
    programming technique.
<= font face=3D"Menlo" class=3D"">
= SUBMISSION GUIDELINES:

Submissions must be formatted usin= g ACM style files (latest release
December 2016) using the instructions at 

https://www.acm.org/p= ublications/proceedings-template

To prepare your submission using LaTex:
=

 * Download acmart.zi= p from https://www.c= tan.org/pkg/acmart
 * Unzip acmart.zip
 * Run latex acmart.ins to produce an acmart.cls fil= e
 * Run p= dflatex sample-sigconf.tex to check that your installation
   works correctly
 * Write you= r paper using sample-sigconf.tex as a template  

Proofs of theoretical results that = do not fit within the page limit,
executables of systems, code of case studies, benchmarks= used to
evalua= te a given system, etc., should be made available, via a reference to
a website or in an a= ppendix of the paper. Reviewers will be encouraged
to consider this additional material,= but are not obliged
to. Submissions must be self-contained within the respective page
limit; considering= the additional material should not be necessary to
assess the merits of a submission. &n= bsp;

At least= one author of each accepted submission will be expected to
attend and present their paper= at the conference. 

Papers must be submitted via easychair. The submission site is = at 

 = ;     https://easychair.org/conferences/?conf=3Dppdp2017

PROCEEDING

<= /div>
Accepted papers will b= e published in the ACM International Conference
Proceedings Series.

PROGRAM CHAIR

  Brigitte Pientka (McGill Univ= ersity)
 &= nbsp;
PROGRAM C= OMMITTEE

 = ;   Andreas Abel (Gothenburg University)
<= font face=3D"Menlo" class=3D"">    Nadia Amin (EPFL)
=
    Zena M. Ariol= a (University of Oregon)
    Kenichi Asai (Ochanomizu University)
    James Cheney (U= niversity of Edinburgh)
    Mariangiola Dezani-Ciancaglini (University of Torino= )
   = Santiago Escobar  (Universitat Polit=C3=A8cnica de Val=C3=A8ncia)&nbs= p;
   = ; Amy Felty (University of Ottawa)
    Thom Fr=C3=BChwirth (University of Ulm)=
    = Patricia Johann (Appalachian State University)
=     Neel Krishnaswami (University= of Cambridge)
=     Micha=C3=ABl Leuschel (Universit=C3=A4t D=C3=BCsseldorf)
    Yanho= ng Annie Liu (Stony Brook University)
    Andres Loeh (Well-Typed)
<= div class=3D"">    Vivek Nigam (F= ederal University of Paraiba / fortiss)
    Naoki Nishida (Nagoya University)
    Cat= uscia Palamidessi (INRIA)
    Brigitte Pientka (McGill University) (PC Chair)
    Ulr= ich Schoepp (Ludwig Maximilian University)
    Chung-chieh Shan (Indiana Univers= ity)
  &nb= sp; Bernardo Toninho (Imperial College London)
=
LOCAL ORGANIZER (joint with LOPSTR):

   Wim Va= nhoof (University of Namur) 

-----------------------------------------------------= -----------------

<= /html>= --Apple-Mail=_D10D96B7-A417-4130-BDD5-30168FE17533--