UNIF 2024 - 2nd Call for Papers (Extended Deadline)
Oliver Fernandez Gil <[email protected]> Tue, 9 Apr 2024 14:29:13 +0000
| Newsgroups | gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.isabelle.user |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_4F201734-CBED-457A-B1F7-F2ED3E4BD481
Content-Type: multipart/alternative;
boundary="Apple-Mail=_5A69B2AA-3032-477B-8241-3AD6F5690AE8"
--Apple-Mail=_5A69B2AA-3032-477B-8241-3AD6F5690AE8
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
charset=utf-8
[Apologies for multiple copies]
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
UNIF 2024
The 38th International Workshop on Unification
Nancy, France, July 2, 2024
A satellite workshop of CADE/IJCAR, affiliated with IJCAR
https://lat.inf.tu-dresden.de/unif2024 =
<https://lat.inf.tu-dresden.de/unif2024>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
UNIF 2024 is the 38th event in a series of international meetings
devoted to unification theory and its applications. Unification is
concerned with the problem of making two given terms equal, either
syntactically or modulo an equational theory. It is a fundamental
process used in various areas of computer science, including automated
reasoning, term rewriting, logic programming, natural language
processing, program analysis, knowledge representation, types, etc.
The International Workshop on Unification (UNIF) is a forum for
researchers in unification theory and related fields to present recent
(even unfinished) work, and to discuss new ideas and trends. It is also
a good opportunity for students, young researchers and scientists =
working
in related areas to get an overview of the current state of the art in
unification theory.
Topics
---------
A non-exhaustive list of topics of interest includes:
* syntactic and equational unification algorithms
* matching and constraint solving
* higher-order unification
* unification in modal, temporal, and description logics
* admissibility of inference rules
* narrowing
* disunification
* anti-unification
* complexity issues =20
* combination methods
* implementation techniques
* applications
Submission
----------------
Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be submitted electronically as PDF files through the EasyChair
submission site:
https://easychair.org/conferences/?conf=3Dunif2024 =
<https://easychair.org/conferences/?conf=3Dunif2024>
Abstracts will be evaluated by the Program Committee regarding their
significance for the workshop. We allow submissions of work presented/
submitted in/to another conference.
Accepted abstracts will be presented at the workshop and included in
the informal proceedings of the workshop, available in electronic form
on the Web page of UNIF 2024. At least one of the authors should =
register
for the workshop.
Based on the number and quality of submissions we will decide whether to
organize a special journal issue.
Important Dates
----------------------
* Paper submission: April 25, 2024 (EXTENDED)
* Author notification: May 23, 2024
* Camera-ready version: June 7, 2024
All dates above are =E2=80=98Anywhere on Earth=E2=80=99 (23:59 UTC-12).
* UNIF 2024: July 2, 2024
Invited Speakers
-----------------------
* George Metcalfe (University of Bern)
* Daniele Nantes-Sobrinho (Universidade de Bras=C3=ADlia)
--Apple-Mail=_5A69B2AA-3032-477B-8241-3AD6F5690AE8
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
charset=utf-8
<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"word-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;" class=3D""><div =
class=3D"">[Apologies for multiple copies]<br class=3D""></div><div =
class=3D""><br =
class=3D""></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=3D=3D=3D=3D=3D=3D=3D<br =
class=3D""><span class=3D"Apple-tab-span" style=3D"white-space: pre;"> =
</span><span class=3D"Apple-tab-span" style=3D"white-space: pre;"> =
</span><span class=3D"Apple-tab-span" style=3D"white-space: pre;"> =
</span> &=
nbsp; &nb=
sp; UNIF 2024<br class=3D""><span =
class=3D"Apple-tab-span" style=3D"white-space: pre;"> =
</span> &=
nbsp; The 38th International Workshop =
on Unification<br class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;"> =
</span> <span class=3D"Apple-tab-span" =
style=3D"white-space: pre;"> =
</span> &=
nbsp; Nan=
cy, France, July 2, 2024<br =
class=3D""> &nb=
sp; A satellite workshop of CADE/IJCAR, =
affiliated with IJCAR<br class=3D""><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;"> </span><span class=3D"Apple-tab-span" =
style=3D"white-space: pre;"> =
</span> &=
nbsp; <a href=3D"https://lat.inf.tu-dresden.de/unif2024" =
class=3D"">https://lat.inf.tu-dresden.de/unif2024</a><br =
class=3D"">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br class=3D""><br =
class=3D"">UNIF 2024 is the 38th event in a series of international =
meetings<br class=3D"">devoted to unification theory and its =
applications. Unification is<br class=3D"">concerned with the problem of =
making two given terms equal, either<br class=3D"">syntactically or =
modulo an equational theory. It is a fundamental<br class=3D"">process =
used in various areas of computer science, including automated<br =
class=3D"">reasoning, term rewriting, logic programming, natural =
language<br class=3D"">processing, program analysis, knowledge =
representation, types, etc.<br class=3D""><br class=3D"">The =
International Workshop on Unification (UNIF) is a forum for<br =
class=3D"">researchers in unification theory and related fields to =
present recent<br class=3D"">(even unfinished) work, and to discuss new =
ideas and trends. It is also<br class=3D"">a good opportunity for =
students, young researchers and scientists working<br class=3D"">in =
related areas to get an overview of the current state of the art in<br =
class=3D"">unification theory.<br class=3D""><br class=3D""><br =
class=3D"">Topics<br class=3D"">---------<br class=3D"">A non-exhaustive =
list of topics of interest includes:<br class=3D""><br class=3D""> * =
syntactic and equational unification algorithms<br class=3D""> * =
matching and constraint solving<br class=3D""> * higher-order =
unification<br class=3D""> * unification in modal, temporal, and =
description logics<br class=3D""> * admissibility of inference =
rules<br class=3D""> * narrowing<br class=3D""> * =
disunification<br class=3D""> * anti-unification<br =
class=3D""> * complexity issues <br class=3D""> * =
combination methods<br class=3D""> * implementation techniques<br =
class=3D""> * applications<br class=3D""><br class=3D""><br =
class=3D"">Submission<br class=3D"">----------------<br class=3D"">Short =
papers or extended abstracts, up to 5 pages in EasyChair style,<br =
class=3D"">should be submitted electronically as PDF files through the =
EasyChair<br class=3D"">submission site:<br class=3D""><br =
class=3D""> <a =
href=3D"https://easychair.org/conferences/?conf=3Dunif2024" =
class=3D"">https://easychair.org/conferences/?conf=3Dunif2024</a><br =
class=3D""><br class=3D"">Abstracts will be evaluated by the Program =
Committee regarding their<br class=3D"">significance for the workshop. =
We allow submissions of work presented/<br class=3D"">submitted in/to =
another conference.<br class=3D""><br class=3D"">Accepted abstracts will =
be presented at the workshop and included in<br class=3D"">the informal =
proceedings of the workshop, available in electronic form<br class=3D"">on=
the Web page of UNIF 2024. At least one of the authors should =
register<br class=3D"">for the workshop.<br class=3D""><br =
class=3D"">Based on the number and quality of submissions we will decide =
whether to<br class=3D"">organize a special journal issue.<br =
class=3D""><br class=3D""><br class=3D"">Important Dates<br =
class=3D"">----------------------<br class=3D""> * Paper =
submission: =
&n=
bsp; April 25, 2024 (EXTENDED)<br class=3D""> * Author =
notification: =
&n=
bsp; May 23, 2024<br class=3D""> * Camera-ready version: =
June 7, 2024<br class=3D""><br =
class=3D"">All dates above are =E2=80=98Anywhere on Earth=E2=80=99 =
(23:59 UTC-12).<br class=3D""><br class=3D""> * UNIF 2024: =
&n=
bsp; July=
2, 2024<br class=3D""><br class=3D""><br class=3D"">Invited Speakers<br =
class=3D"">-----------------------<br class=3D"">* George Metcalfe =
(University of Bern)<br class=3D"">* Daniele Nantes-Sobrinho =
(Universidade de Bras=C3=ADlia)<div class=3D""><br =
class=3D""></div></body></html>=
--Apple-Mail=_5A69B2AA-3032-477B-8241-3AD6F5690AE8--
--Apple-Mail=_4F201734-CBED-457A-B1F7-F2ED3E4BD481
Content-Disposition: attachment; filename="smime.p7s"
Content-Type: application/pkcs7-signature; name="smime.p7s"
Content-Transfer-Encoding: base64
MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCCDlAw
ggbmMIIEzqADAgECAhAxAnDUNb6bJJr4VtDh4oVJMA0GCSqGSIb3DQEBDAUAMIGIMQswCQYDVQQG
EwJVUzETMBEGA1UECBMKTmV3IEplcnNleTEUMBIGA1UEBxMLSmVyc2V5IENpdHkxHjAcBgNVBAoT
FVRoZSBVU0VSVFJVU1QgTmV0d29yazEuMCwGA1UEAxMlVVNFUlRydXN0IFJTQSBDZXJ0aWZpY2F0
aW9uIEF1dGhvcml0eTAeFw0yMDAyMTgwMDAwMDBaFw0zMzA1MDEyMzU5NTlaMEYxCzAJBgNVBAYT
Ak5MMRkwFwYDVQQKExBHRUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQDExNHRUFOVCBQZXJzb25hbCBD
QSA0MIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEAs0riIl4nW+kEWxQENTIgFK600jFA
xs1QwB6hRMqvnkphfy2Q3mKbM2otpELKlgE8/3AQPYBo7p7yeORuPMnAuA+oMGRb2wbeSaLcZbpw
XgfCvnKxmq97/kQkOFX706F9O7/h0yehHhDjUdyMyT0zMs4AMBDRrAFn/b2vR3j0BSYgoQs16oSq
adM3p+d0vvH/YrRMtOhkvGpLuzL8m+LTAQWvQJ92NwCyKiHspoP4mLPJvVpEpDMnpDbRUQdftSpZ
zVKTNORvPrGPRLnJ0EEVCHR82LL6oz915WkrgeCY9ImuulBn4uVsd9ZpubCgM/EXvVBlViKqusCh
SsZEn7juIsGIiDyaIhhLsd3amm8BS3bgK6AxdSMROND6hiHT182Lmf8C+gRHxQG9McvG35uUvRu8
v7bPZiJRaT7ZC2f50P4lTlnbLvWpXv5yv7hheO8bMXltiyLweLB+VNvg+GnfL6TW3Aq1yF1yrZAZ
zR4MbpjTWdEdSLKvz8+0wCwscQ81nbDOwDt9vyZ+0eJXbRkWZiqScnwAg5/B1NUD4TrYlrI4n6zF
p2pyYUOiuzP+as/AZnz63GvjFK69WODR2W/TK4D7VikEMhg18vhuRf4hxnWZOy0vhfDR/g3aJbds
Gac+diahjEwzyB+UKJOCyzvecG8bZ/u/U8PsEMZg07iIPi8CAwEAAaOCAYswggGHMB8GA1UdIwQY
MBaAFFN5v1qqK0rPVIDh2JvAnfKyA2bLMB0GA1UdDgQWBBRpAKHHIVj44MUbILAK3adRvxPZ5DAO
BgNVHQ8BAf8EBAMCAYYwEgYDVR0TAQH/BAgwBgEB/wIBADAdBgNVHSUEFjAUBggrBgEFBQcDAgYI
KwYBBQUHAwQwOAYDVR0gBDEwLzAtBgRVHSAAMCUwIwYIKwYBBQUHAgEWF2h0dHBzOi8vc2VjdGln
by5jb20vQ1BTMFAGA1UdHwRJMEcwRaBDoEGGP2h0dHA6Ly9jcmwudXNlcnRydXN0LmNvbS9VU0VS
VHJ1c3RSU0FDZXJ0aWZpY2F0aW9uQXV0aG9yaXR5LmNybDB2BggrBgEFBQcBAQRqMGgwPwYIKwYB
BQUHMAKGM2h0dHA6Ly9jcnQudXNlcnRydXN0LmNvbS9VU0VSVHJ1c3RSU0FBZGRUcnVzdENBLmNy
dDAlBggrBgEFBQcwAYYZaHR0cDovL29jc3AudXNlcnRydXN0LmNvbTANBgkqhkiG9w0BAQwFAAOC
AgEACgVOew2PHxM5AP1v7GLGw+3tF6rjAcx43D9Hl110Q+BABABglkrPkES/VyMZsfuds8fcDGvG
E3o5UfjSno4sij0xdKut8zMazv8/4VMKPCA3EUS0tDUoL01ugDdqwlyXuYizeXyH2ICAQfXMtS+r
az7mf741CZvO50OxMUMxqljeRfVPDJQJNHOYi2pxuxgjKDYx4hdZ9G2o+oLlHhu5+anMDkE8g0tf
fjRKn8I1D1BmrDdWR/IdbBOj6870abYvqys1qYlPotv5N5dm+XxQ8vlrvY7+kfQaAYeO3rP1DM8B
GdpEqyFVa+I0rpJPhaZkeWW7cImDQFerHW9bKzBrCC815a3WrEhNpxh72ZJZNs1HYJ+29NTB6uu4
NJjaMxpk+g2puNSm4b9uVjBbPO9V6sFSG+IBqE9ckX/1XjzJtY8Grqoo4SiRb6zcHhp3mxj3oqWi
8SKNohAOKnUc7RIP6ss1hqIFyv0xXZor4N9tnzD0Fo0JDIURjDPEgo5WTdti/MdGTmKFQNqxyZuT
9uSI2Xvhz8p+4pCYkiZqpahZlHqMFxdw9XRZQgrP+cgtOkWEaiNkRBbvtvLdp7MCL2OsQhQEdEbU
vDM9slzZXdI7NjJokVBq3O4pls3VD2z3L/bHVBe0rBERjyM2C/HSIh84rfmAqBgklzIOqXhd+4Rz
adUwggdiMIIFSqADAgECAhBHy5E80x4gVfEvdAFbAdVqMA0GCSqGSIb3DQEBDAUAMEYxCzAJBgNV
BAYTAk5MMRkwFwYDVQQKExBHRUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQDExNHRUFOVCBQZXJzb25h
bCBDQSA0MB4XDTI0MDIwNTAwMDAwMFoXDTI2MDIwNDIzNTk1OVowgdMxCzAJBgNVBAYTAkRFMRAw
DgYDVQQIEwdTYWNoc2VuMSgwJgYDVQQKEx9UZWNobmlzY2hlIFVuaXZlcnNpdGFldCBEcmVzZGVu
MREwDwYDVQRhEwhHT1ZERStTTjEtMCsGCSqGSIb3DQEJARYeb2xpdmVyLmZlcm5hbmRlekB0dS1k
cmVzZGVuLmRlMRYwFAYDVQQEEw1GZXJuYW5kZXogR2lsMQ8wDQYDVQQqEwZPbGl2ZXIxHTAbBgNV
BAMTFE9saXZlciBGZXJuYW5kZXogR2lsMIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEA
sgbWnR9AveDJUV9bwgXHqUe50O/hekIgiyPRDRKBs0kpWbQEOjC+y5cr9KodbiOC/st/xfMTPhWH
2DYcEYlJC+r4WUT+RI2udqYUNoCWiarVCqHWSYTWolQjVLCWqk75hcyIfsF91NEnPrJGUrww8beS
b++V5XxYyLo9rjhRwEBP/fNMWn1Zc0QXAHpDD7mVDkk+7V2RwbDvzuN/rx4vRdv/34px6uJFRLzo
QmdUsgDX10rp7rEN/enmKw4zXCTajOq1hM3wclzheM6UZCzkjZXyoBDzvjrIRitZQU0ffR16mugV
HxCDtX2D/cxdovXx0Z6wvMkBPylnRgmpmZ0rz9CBQ+LlEQ+j9/KUFyQEMGoCI8QYPhBSpE0l2Us1
rBjGbFXStlyoM9BtOMrq/aAtnuAnH28vZKxJjArY7Q5pWj4KpRiqOQrE3iSLpj0d8jUNGN7bfs9S
fj8rsXj2EE28CFT257jnAEMPhZtMggQkwTVJijGW3eGDgINrFrCrXhinDtnZ0nfdDdohfJxaE5NJ
xqtKdJRvbgIvc1QzhH2R/jiJcD9xN0tHJ+9+qbgr0BKpUT1SXGk8FktE54R8w9axcg1aha/s8Xgh
nGvJ4tixtaGcdyYwpxUmnsVdD5hGRMO7MpvQhONMgo4y5suzmk4SK6pjFWRvIf1J9ZxPHAEcj7kC
AwEAAaOCAbwwggG4MB8GA1UdIwQYMBaAFGkAocchWPjgxRsgsArdp1G/E9nkMB0GA1UdDgQWBBR4
eB7bkGllIt8T/Zk8l2V3m99WKjAOBgNVHQ8BAf8EBAMCBaAwDAYDVR0TAQH/BAIwADAdBgNVHSUE
FjAUBggrBgEFBQcDBAYIKwYBBQUHAwIwUAYDVR0gBEkwRzA6BgwrBgEEAbIxAQIBCgQwKjAoBggr
BgEFBQcCARYcaHR0cHM6Ly9zZWN0aWdvLmNvbS9TTUlNRUNQUzAJBgdngQwBBQMCMEIGA1UdHwQ7
MDkwN6A1oDOGMWh0dHA6Ly9HRUFOVC5jcmwuc2VjdGlnby5jb20vR0VBTlRQZXJzb25hbENBNC5j
cmwweAYIKwYBBQUHAQEEbDBqMD0GCCsGAQUFBzAChjFodHRwOi8vR0VBTlQuY3J0LnNlY3RpZ28u
Y29tL0dFQU5UUGVyc29uYWxDQTQuY3J0MCkGCCsGAQUFBzABhh1odHRwOi8vR0VBTlQub2NzcC5z
ZWN0aWdvLmNvbTApBgNVHREEIjAggR5vbGl2ZXIuZmVybmFuZGV6QHR1LWRyZXNkZW4uZGUwDQYJ
KoZIhvcNAQEMBQADggIBADXuBEOeqAYC1nlEZovxGsfXayC3hZWVpeTfvUYUJ8UxBDQUYHU8Tnk/
8vHUtSG1JQs9rdNlR2SAQQbNqKae3iAxHXDnpvPsFrA741NVbr+NpFDkTLl9OpXNv7WWX+QzpPuY
jRv/pr2e5yi4ow1Oue7SQ8Za8170IjHZzhJnT9RHaWmO1jtc3BLQjtNL3IqmHEN9pxUFz80WckYH
6b0aYsp1EaaQwIDhLpPpvDfijKLrfm7KW2svaKHHRflPEvyTuH8HRbJNVIRCaqX8piqGY0m1zu7s
cRcLBSGJ0WC4+7BiGloF3z3U+2WXDcDPbLK0qfd7R9PYmNWtYib44iMChRD5izkMmnFQUViTLSKV
8p9FuRvbpAq6pOUR/ieaSxza4VbOWEP5QTbqfmAS/PCnw4AvmHFYqG4k1qKHjUlCIjQQkozOj2al
rIp3KQKQCD/fUd5a5w6qkf+/NtWCm4RL2uOizEBd0QoFL8bcCSesTX03792iQ/PRHfpkEbA7r5Wj
8IvhlsfsDDNkwI/R8P5Ixik9rZD22IheBXC2T1WsLP63Ao9R5l17yRT7elOkp1WFw63tXWtIu85N
PwpmsBnRM5CYILa4K0SPv2/r1TCDOfhGmr7DX/TSfnECepLHFCuIgSlsVg0lIQPk/coplDvndui7
HgrRS4VlrmKZS54BBS3oMYIDyjCCA8YCAQEwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VB
TlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQR8uRPNMeIFXxL3QB
WwHVajANBglghkgBZQMEAgEFAKCCAUEwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG
9w0BCQUxDxcNMjQwNDA5MTQyOTEyWjAvBgkqhkiG9w0BCQQxIgQga8iThJve+utS7jTiUjwWIhev
tK/DSiQlLAql1RCxlhwwaQYJKwYBBAGCNxAEMVwwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQ
R0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQR8uRPNMeIFXx
L3QBWwHVajBrBgsqhkiG9w0BCRACCzFcoFowRjELMAkGA1UEBhMCTkwxGTAXBgNVBAoTEEdFQU5U
IFZlcmVuaWdpbmcxHDAaBgNVBAMTE0dFQU5UIFBlcnNvbmFsIENBIDQCEEfLkTzTHiBV8S90AVsB
1WowDQYJKoZIhvcNAQEBBQAEggIAVAAxRRLdTWy6w+VaLRsqNhdkn7foIBw1Opc5W1RYvCjMkz5d
tOZwfWNxG2Vz0DcD8sMS0aqcrC0ux5zRa1euAl9Gl6hLEW9Rgj9DjqZ2zmAWiDFjbsm4+o0tDUlx
Y4mpixMR7S6hdZ9m+t9ST95iS0vnuAV0AN3WmmfaJXnwc8nhQryeRSUNYh3xLk+08j3fr2Shu6gN
CG9GohgfddqJW+ziGdobWaYbnYjAmqlnrbjC4S3bjpoL3At7eyAfVI7f96IIGaxW05W2OGt1T7bH
9BaUiCOmuf0bk4BNDn7eSrpuRERI4Q/dR9Kyhn1+yoJz7eZuc80BiQAobshVqdDQDfDDWsOLNPs8
myrNob49n7VrrP2dsopb7Cy37Nry/idw2a1i0d9KvZyeDKnwqO+pyPFS470grcjXYeXDVhHfdEU3
X/SzetmwvTfrTKbQAz5x1O/WQO8YIGEEcecXSa9HonW9mftuWes1mN+M+3hV98Nna8NRd2Dq/IjI
ac8U3eQHGkl7LdjlNMAiLlfeI+Tdusw1lyZUZbfA586NuncPIGn+s+sPldXr88PIQxos3xiG95f/
nM3CfVnbCIWRYKXOZpQudulJ11+JG96hGCatpZ4oNpH+VheynJhftkn+pv79Oxt6F0cy5IVFPGNU
gRqUBzTCQ+ecMRJn6/2svuUonhoAAAAAAAA=
--Apple-Mail=_4F201734-CBED-457A-B1F7-F2ED3E4BD481--