From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 71A8B82690; Thu, 11 Apr 2019 15:34:39 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sandra@dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra@dcc.fc.up.pt; spf=Pass smtp.helo=postmaster@smtp.dcc.fc.up.pt Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sandra@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sandra@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AJMba0BeggBV5+YXZRKFAxQFqlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc28YxyN2/xhgRfzUJnB7Loc0qyK6vmmAD1Lv8vJ8ChbNsAVD1ld0Y?= =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN7s9xgHUrnZMdO?= =?us-ascii?q?hbxGNlLk+Xkxrg+8u85pFu/zlMt/4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZ?= =?us-ascii?q?SguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiC?= =?us-ascii?q?cGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcWclfSjFBApik?= =?us-ascii?q?b4QRE+UBIehWr474p1QUrBu+AxSnCOfgxzJMg3P727Ax3eY8HgHcxAEuH84Bv3?= =?us-ascii?q?vJotv2OqkcT+e7wbLSwjnfavNbwzf95JTKfx0nvPqCXahwcc3UyUQ3Cg3KlFOQ?= =?us-ascii?q?ppH/PzyPy+8Ar2yb7/R+WuK0lmUqrBpxrSKpxsgxkInGnJkYxU3Y+ipl2oo1K8?= =?us-ascii?q?G3RFRmYd68CpdQrz2aOpJwT8g/TW9ovyM6xacHuZ69ZCUF1o4oxwXfavObdIiI?= =?us-ascii?q?5BzjW/iLIThmgnJqZKywhw2o/Ue+1+3wTs+00FdFriVfl9nArHEN1xrd6siAUv?= =?us-ascii?q?d940Ch2SqT1w/J5OBLO1o4mrbBJJI52LEwkIcTsVzZES/zhUr5lrSWel849eiv?= =?us-ascii?q?7uTrerrmppibN497jgHxLL4ildC4AeQ9KgQOQm6b9v+m2LL45031WKhKjvwtna?= =?us-ascii?q?naqpzVP9gUqrSjDA9Jyooj7xe/DzG439sCh3kLNVZFeBWIj4joJ17COvf4De2w?= =?us-ascii?q?g1i0jTdrwevGMqf7DZrRNHTDiqzhcLBg4EBf0Ao+1c1T6pZaB70bPf7+VE78uM?= =?us-ascii?q?bWAxI9KQC43ufqBM1+248AQ26DH6+UPaPIvVKM5u8jOfeAaJMItDv7NvMr/eTh?= =?us-ascii?q?jWUjll8YZaSp3YUYaHS/Hvl+OEWZZGbsgs8bHWgXogUxUPbmiFOeXjJJenayR7?= =?us-ascii?q?gw5iknCI6+DIfDQJ6igKCZ0SumGpBbaHpKBk2CHHrpbYmJVfMBZDiPLsJgijAE?= =?us-ascii?q?UKKuS44l1RGgrg/6zL9nI/LP+iICs5LsycJ16PfImB4v6TN7E96R02+RQG1ug2?= =?us-ascii?q?MIXyU63LhjoUBl0FeMzbB4g+BEFdxU//5GTh01NZvYz+BjD9DyWxnBfsuSRVa9?= =?us-ascii?q?QtSmBCkxQcgrz98PZUZ9AdSigQrZ0yqkGb8fj6aLC4As8qLAw3jxIN5wxGrB1K?= =?us-ascii?q?k4llUpXs9PNXC9iaNk7AjSB4vJk12DmKqwdKQc2jTN9GaZwmaUskFYSl04baKQ?= =?us-ascii?q?U2sUag3dqtL361nPSbSjIbgsOU1PwoifMu1SdpmhkUReSeymMdLYZH+3kGqYAR?= =?us-ascii?q?eT2qjKd4fjYCMAxCjbDg4Jnx1XtX2CcAklDy2sp2bTSSF1GEj0S0ft6vVl7niy?= =?us-ascii?q?Swk9xEeXbAkpzbeq4B8JhPqTY/4VxfcAqSAn7TtuWB6FxdXRBeaAqg17bY14YM?= =?us-ascii?q?gh+xFt3H7Z8SV2eKGDa+hrnkYFfgFfu0L1yw4xFo5b18kkrTUuyRc0Ja/cmFhG?= =?us-ascii?q?bnaT2Y36ErzRMGj7uh61L+bd01TaldKX4bsn6fIiqlylshvtXlYv6XB71N5RyF?= =?us-ascii?q?OY547WF0wWS5O3XFxzvxNzq7zyYzUgoY/XkTVnOLW5vTjY2t8yLO45w1CrdpMX?= =?us-ascii?q?PqKCFRP/VsgdC8WqbfAqll+zfzoAPftO7+guIN+mMvKP066mOqBskXbuiWpM+8?= =?us-ascii?q?V81F6B7SdnVsbJ2ZhDzv3e1wDBSjS4xFOgtM3+g6hPfncJAmO5xy/+CMhcarA2?= =?us-ascii?q?NakiLEqVC8m23cllwYTyR34d/VeoB14AnsOkPVKKdVvymAlZ00s/rX2khG20zH?= =?us-ascii?q?g8jzEkqbCS2WnW2eP8eQAcEmdKAmxjkRHhLZXwx8waUU+yfk0tkxSk7m7R/O5w?= =?us-ascii?q?gZk5AkXuBQ9BcCT/B2VjSber8LGCaspK5Ykz9z5aFKy1elSyVLfmuBIAlS7vAi?= =?us-ascii?q?8WyS0nZimnob3yhFpglSSbKDI7qHPCPMVxzgz34N3HWeUXwidDTiRijTjRQFSx?= =?us-ascii?q?e5G17M2ZjL/Hs/uiTCSqVpRXdCTx1sWbuW/z4WplABaXmvmvmpv6Fwl/2yj90Z?= =?us-ascii?q?9mWHbmthH5N7Li0aigOKpOeldlHxeo8MN8Fpt3uoc7j9ce0j4HntON4SxUwi/I?= =?us-ascii?q?LdxH1PemPzI2TjkRzouJsVG0in0mFWqAwsfCblvYx8JgY9egZWZPhnAx5MsMBq?= =?us-ascii?q?zS8aQChTcn+wPk/zKUWuB0m3Im8dVr8GQT2r1btAEmiCuWRK0KW1FEb3S1yka4?= =?us-ascii?q?quumpaASX16BNLi90E0nzIK6Ca2a5A1XUzD3cdE/BWlo8pcmPQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BqAwChQa9clxAniMFlDgiDaIESA04yJ?= =?us-ascii?q?4QOmD+Ee5FnA1Qzij4bBgEENBIBAQMBAQoBAgEBAQETAQEBAQEIFgZMDII6DIM?= =?us-ascii?q?oBjESAgVpAmCCaUsBgXkLqy+BL4QEASwBTwVAhGOBMIshPYFAP4ERJx+EDoFSC?= =?us-ascii?q?wEBAYE9gy0xgiYDileNEY41CYIHUYU2hCKIAmqBHF2CdIJJgy0SiQ2DWogDhCp?= =?us-ascii?q?kgRqBTYIkhwCEWSlWgSEzGggwZQGCQQkJLIFkAoIMYBVUgQGBWII7gQGEAwQ4P?= =?us-ascii?q?jMBAZBuAQE?= X-IPAS-Result: =?us-ascii?q?A0BqAwChQa9clxAniMFlDgiDaIESA04yJ4QOmD+Ee5FnA1Q?= =?us-ascii?q?zij4bBgEENBIBAQMBAQoBAgEBAQETAQEBAQEIFgZMDII6DIMoBjESAgVpAmCCa?= =?us-ascii?q?UsBgXkLqy+BL4QEASwBTwVAhGOBMIshPYFAP4ERJx+EDoFSCwEBAYE9gy0xgiY?= =?us-ascii?q?DileNEY41CYIHUYU2hCKIAmqBHF2CdIJJgy0SiQ2DWogDhCpkgRqBTYIkhwCEW?= =?us-ascii?q?SlWgSEzGggwZQGCQQkJLIFkAoIMYBVUgQGBWII7gQGEAwQ4PjMBAZBuAQE?= X-IronPort-AV: E=Sophos;i="5.60,337,1549926000"; d="scan'208,217";a="302564258" X-MGA-submission: =?us-ascii?q?MDHXO9tjJpMjNFfTVhFws/GjgWHoy4mQYOvvjs?= =?us-ascii?q?0LggMiFrW6YiImw5LKf1dduNzdBlLBF2qPp6ZU8zfNSoMFsRb5PvZr+9?= =?us-ascii?q?UowwFVdZO1U6KCVSTJsc0oboYOfbA5zzLVNXpiHtoVK9BwIkY2G71S9i?= =?us-ascii?q?ecVMt5qxl8JZCKPxGjGW3ZEw=3D=3D?= Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Apr 2019 15:34:27 +0200 Received: from [192.168.1.83] (bl6-95-201.dsl.telepac.pt [82.155.95.201]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 3B43BC2475; Thu, 11 Apr 2019 14:34:26 +0100 (WEST) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_65490BE5-2C7B-44DA-9E4F-CB1515DAB5D0" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <6DA90857-5C9A-463A-890E-ED3914FB5FF8@dcc.fc.up.pt> Date: Thu, 11 Apr 2019 14:34:22 +0100 To: fscd.conference@dcc.fc.up.pt, types-announce@lists.seas.upenn.edu, cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr, ProofTheory@Lists.Bath.Ac.UK, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, caml-list@inria.fr, termtools@lists.lri.fr, cade@itu.dk, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@CS.CMU.EDU, agda@lists.chalmers.se, asl@vassar.edu, eutypes@cs.ru.nl, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] FSCD 2019 - Call for Participation (early registration ends May 13th) --Apple-Mail=_65490BE5-2C7B-44DA-9E4F-CB1515DAB5D0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 (Apologies for multiple copies of this announcement. Please circulate.) =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PARTICIPATION Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019) 24 -- 30 June 2019, Dortmund, Germany http://easyconferences.eu/fscd2019/ FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). REGISTRATION The registration page is already open and linked from: http://easyconferences.eu/fscd2019/registration-2/ The early registration deadline is *** 13 May 2019 ***. (for more details please visit the conference webpage). INVITED SPEAKERS Titles and abstracts available at http://easyconferences.eu/fscd2019/invited-speakers/ =C2=A0 * Beniamino Accattoli (INRIA, Paris, France) https://sites.google.com/site/beniaminoaccattoli/ * Amy Felty (University of Ottawa, Canada) http://www.site.uottawa.ca/~afelty/ * Sarah Winkler (University of Innsbruck, Austria) http://cl-informatik.uibk.ac.at/users/swinkler/ * Hongseok Yang (KAIST, Korea) https://sites.google.com/view/hongseokyang/ SATELLITE EVENTS - UNIF: 33rd International Workshop on Unification=20 (http://www.mat.unb.br/unif2019 ) - WPTE: 6th International Workshop on Rewriting Techniques for Program Tr= ansformations and Evaluation=20 (http://nigam.info/conferences/wpte2019/main.html ) - IWC: 8th International Workshop on Confluence (http://iwc2019.cic.unb.br ) - TLLA: 3rd Trends in Linear Logic and Applications (http://tlla.linear-logic.org/2019 )=20 - SD: 5th International Workshop on Structures and Deduction (http://www.anupamdas.com/sd19 ) - HOR: 10th International Workshop on Higher-Order Rewriting (http://imft.ftn.uns.ac.rs/HOR2019 ) - IFIP: 22nd IFIP Working Group 1.6: Rewriting (http://cbr.uibk.ac.at/ifip-wg1.6/events/event-2019.html ) PROGRAM CHAIR Herman Geuvers, Radboud U. Nijmegen=20 CONFERENCE CHAIR Jakob Rehof, TU Dortmund LOCAL WORKSHOP CHAIR Boris D=C3=BCdder, U. of Copenhagen PROGRAM COMMITTEE H. Geuvers, Radboud U. Nijmegen=20 Z. Ariola, U. of Oregon M. Ayala Rinc=C3=B3n, U. of Brasilia A. Bauer, U. of Ljubljana F. Bonchi, U. of Pisa S. Broda, U. of Porto U. Dal Lago, U. of Bologna & Inria U. De'Liguoro, U. of Torino D. Kapur, U. of New Mexico P. Dybjer, Chalmers U. of Technology M. Fernandez, King's College London J. Giesl, RWTH Aachen N. Hirokawa, JAIST S. Lucas, U. Politecnica de Valencia A. Middeldorp, U. of Innsbruck F. Pfenning, Carnegie Mellon U. B. Pientka, McGill U. J. van de Pol, Aarhus U. & U. of Twente F. van Raamsdonk, VU Amsterdam=20 C. Sch=C3=BCrmann, ITU Copenhagen P. Severi, U. of Leicester A. Silva, U. College London S. Staton, Oxford U. T. Streicher, TU Darmstadt A. Stump, U. of Iowa N. Tabareau, Inria S. Tison, U. of Lille A. Tiu, Australian National U. T. Tsukada, U. of Tokyo J. Urban, CTU Prague P. Urzyczyn, U. of Warsaw J. Waldmann, Leipzig U. of Applied Sciences STEERING COMMITTEE WORKSHOP CHAIR Jamie Vicary, Oxford U. PUBLICITY CHAIR Sandra Alves , Porto U. FSCD STEERING COMMITTEE S. Alves (Porto U.), M. Ayala-Rinc=C3=B3n (Brasilia U.) C. Fuhs (Birkbeck, London U.) D. Kesner (Chair, Paris U.)=20 H. Kirchner (Inria) N. Kobayashi (U. Tokyo) C. Kop (Radboud U. Nijmegen) D. Miller (Inria) L. Ong (Chair, Oxford U.)=20 B. Pientka (McGill U.) S. Staton (Oxford U.) Looking forward to seeing you in Dortmund! =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --Apple-Mail=_65490BE5-2C7B-44DA-9E4F-CB1515DAB5D0 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
(A= pologies for multiple copies of this announcement. Please circulate.)
=
=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

      &nbs= p;                     CA= LL FOR PARTICIPATION
    &nb= sp;                Fourth Internati= onal Conference on
        Formal = Structures for Computation and Deduction (FSCD 2019)
&= nbsp;                   24 -- = 30 June 2019, Dortmund, Germany
      &= nbsp;              http://easyconferences.eu/fscd2019/

FSCD covers al= l aspects of formal structures for computation and
ded= uction from theoretical foundations to applications.  Building on
two communities, RTA (Rewriting Techniques and Application= s) and TLCA
(Typed Lambda Calculi and Applications), F= SCD embraces their core
topics and broadens their scop= e to closely related areas in logics,
models of comput= ation (e.g. quantum computing, probabilistic
computing= , homotopy type theory), semantics and verification in new
challenging areas (e.g. blockchain protocols or deep learning
algorithms).

REGISTRATION
The registratio= n page is already open and linked from:
http://easyconf= erences.eu/fscd2019/registration-2/

The early registration deadline is&nbs= p;*** 13 May 2019 ***.
(for more details plea= se visit the conference webpage).

INVITED SPEAKERS
Titles and abstracts available at
 http://easyconferences.eu/fscd2019/invited-s= peakers/  

*  Beniamino Accattoli (INRIA, Paris, France)
 &= nbsp;https://sites.google.com/site/beniaminoaccattoli/
* &n= bsp;Amy Felty (University of Ottawa, Canada)
  http://www.site.uott= awa.ca/~afelty/
*  Sarah Winkler (University of Inns= bruck, Austria)
  http://cl-informatik.uibk.ac.at/users= /swinkler/
*  Hongseok Yang (KAIST,  Korea)
  https://sites.google.com/view/hongseokyang/

SATELLITE EVENTS
- UNIF: 33rd International Workshop on Unification 
  (h= ttp://www.mat.unb.br/unif2019)
- WPTE:  6th &= nbsp;International Workshop on Rewriting Techniques for Program Transformat= ions and Evaluation 
  (http://nigam.info/confe= rences/wpte2019/main.html)
- IWC: 8th Internationa= l Workshop on Confluence
  (http://iwc2019.cic.unb.br)
- = TLLA: 3rd Trends in Linear Logic and Applications
  (http://tl= la.linear-logic.org/2019) 
- SD: 5th Internatio= nal Workshop on Structures and Deduction
  (http://www.anupamdas.com/sd19)=
- HOR: 10th International Workshop on Higher-Order Rewr= iting
  (http://imft.ftn.uns.ac.rs/HOR2019)
- IFIP: 22nd=  IFIP Working Group 1.6: Rewriting
  (http://c= br.uibk.ac.at/ifip-wg1.6/events/event-2019.html)
<= br class=3D"">

PROGRAM CHAIR
Herman  Geuvers, Radb= oud U. Nijmegen 

CONFERENCE CHAIR
Jakob Rehof, TU= Dortmund

LOCAL W= ORKSHOP CHAIR
Boris D=C3=BCdder, U. of Copenhagen

PROGRAM COMMITT= EE
H. Geuvers, Radboud U. Nijmegen 
Z. Ariola, U. of Oregon
M. Ayala Rinc=C3=B3n, = U. of Brasilia
A. Bauer, U. of Ljubljana
F. Bonchi, U. of Pisa
S. Broda, U. of Porto
U. Dal Lago, U. of Bologna & Inria
U. De'Liguoro, U. of Torino
D. Kapur, U. of New = Mexico
P. Dybjer, Chalmers U. of Technology
M. Fernandez, King's College London
J. Gies= l, RWTH Aachen
N. Hirokawa, JAIST
S. Lucas, U. Politecnica de Valencia
A. Middeldorp, U= . of Innsbruck
F. Pfenning, Carnegie Mellon U.
B. Pientka, McGill U.
J. van de Pol, Aar= hus U. & U. of Twente
F. van Raamsdonk, VU Amsterd= am 
C. Sch=C3=BCrmann, ITU Copenhagen
P. Severi, U. of Leicester
A. Silva, U. Coll= ege London
S. Staton, Oxford U.
T= . Streicher, TU Darmstadt
A. Stump, U. of Iowa
N. Tabareau, Inria
S. Tison, U. of Lille=
A. Tiu, Australian National U.
T. Tsukada= , U. of Tokyo
J. Urban, CTU Prague
P. Urzyczyn, U. of Warsaw
J. Waldmann, Leipzig U. of= Applied Sciences

STEERING COMMITTEE WORKSHOP CHAIR
Jamie Vicary, Oxfor= d U.

PUBLICITY CH= AIR
Sandra Alves , Porto U.

FSCD STEERING COMMITTEE
S. Alves (Porto U.),
M. Ayala-Rinc=C3=B3n (Brasilia = U.)
C. Fuhs (Birkbeck, London U.)
D. Kesner (Chair, Paris U.) 
H. Kirchner (Inria)=
N. Kobayashi (U. Tokyo)
C. Kop (= Radboud U. Nijmegen)
D. Miller (Inria)
L. Ong (Chair, Oxford U.) 
B. Pientka (McGi= ll U.)
S. Staton (Oxford U.)

Looking forward to s= eeing you in Dortmund!
=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=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D

= --Apple-Mail=_65490BE5-2C7B-44DA-9E4F-CB1515DAB5D0--