WPTE 2026: Call for Papers

--===============2182157043650279018==
Content-Language: de-DE
Content-Type: multipart/signed; protocol="application/x-pkcs7-signature";
	micalg=2.16.840.1.101.3.4.2.1;
	boundary="----=_NextPart_000_00BE_01DCBACC.219AF390"

------=_NextPart_000_00BE_01DCBACC.219AF390
Content-Type: text/plain;
	charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

WPTE 2026 (affiliated with FLoC 2026 and FSCD 2026 in Lisbon, Portugal)

12th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (19 July 2026)

Webpage:     https://wpte2026.github.io/
Submission:  https://submissions.floc26.org/wpte/
Deadline:    22 April 2026

-------------------------------------------------------------------------=
--
The aim of WPTE is to bring together researchers working on
program transformations, evaluation, and operationally-based
programming language semantics, using rewriting methods, in order to
share the techniques and recent developments and to exchange ideas to
encourage further activation of research in this area.

Topics of Interest
-------------------------------------------------------------------------=
--
* Correctness of program transformations, optimizations and =
translations.
* Program transformations for proving termination, confluence, and
  other properties.
* Correctness of evaluation strategies.
* Operational semantics of programs, operationally-based program
  equivalences such as contextual equivalences and bisimulations.
* Cost-models for arguing about the optimizing power of transformations
  and the costs of evaluation.
* Program transformations for verification and theorem proving purposes.
* Translation, simulation, equivalence of programs with different
  formalisms, and evaluation strategies.
* Program transformations for applying rewriting techniques to programs
  in specific programming languages.
* Program transformations for program inversions and program synthesis.
* Program transformation and evaluation for Haskell and rewriting.
* Rewriting-based transformations for bidirectional programming and
  reversible computation.

Submission Guidelines
-------------------------------------------------------------------------=
--
For the paper submission deadline, a regular paper or extended abstract
of at most 10 pages is required. WPTE 2026 accepts submissions in three
categories:

* Regular paper, reporting on completed work that has not yet been
  formally published and is not under submission for formal publication
  at another venue (journal, conference, workshop with formal
  proceedings).

* Work-in-progress extended abstract, reporting on work in progress.

* Presentation-only extended abstract, a short version of a paper
  currently submitted to or formally published at another venue.

The program committee will select the presentations for the workshop
based on the submissions. All selected contributions will be included in
the informal proceedings distributed to the workshop participants. One
author of each accepted contribution is expected to present it at the
workshop in person.

Submissions must be prepared in LaTeX using the EPTCS macro package.

All submissions are to be made via:

  https://submissions.floc26.org/wpte/

Post-Proceedings or Journal Special Issue
-------------------------------------------------------------------------=
--
For the 2020-2025 editions, papers from WPTE were selected for
post-submission and eventual publication in JLAMP special issues.
We will discuss, also based on interest expressed by authors at the
workshop, whether to arrange a special issue or other formal proceedings
for regular papers and completed work-in-progress extended abstracts
selected from this year's edition.

Important Dates
-------------------------------------------------------------------------=
--
Submission of regular papers and extended abstracts: 22 April 2026 (AoE)
Notification of acceptance: 25 May 2026
Early Registration for the workshop: 1 June 2026
Final version for informal proceedings: 29 June 2026
Workshop: 19 July 2026
Submission to post-proceedings/special issue: autumn 2026 (tbd)

Program Committee
-------------------------------------------------------------------------=
--
Martin Avanzini, Inria Sophia Antipolis
Carsten Fuhs (co-chair), Birkbeck University of London
Jan-Christoph Kassing, RWTH Aachen University
Thomas K=C5=93hler, ICube Lab, CNRS, Universit=C3=A9 de Strasbourg
Misaki Kojima, Nagoya University
Rub=C3=A9n Rubio, Universidad Complutense de Madrid
Traian =C5=9Eerb=C4=83nu=C5=A3=C4=83, University of Bucharest
Germ=C3=A1n Vidal, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
Janis Voigtl=C3=A4nder (co-chair), University of Duisburg-Essen

Contact
-------------------------------------------------------------------------=
--
Please direct questions to: c.fuhs AT bbk.ac.uk and janis.voigtlaender =
AT uni-due.de


------=_NextPart_000_00BE_01DCBACC.219AF390
Content-Type: application/pkcs7-signature; name="smime.p7s"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="smime.p7s"

MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCCGA0w
ggQyMIIDGqADAgECAgEBMA0GCSqGSIb3DQEBBQUAMHsxCzAJBgNVBAYTAkdCMRswGQYDVQQIDBJH
cmVhdGVyIE1hbmNoZXN0ZXIxEDAOBgNVBAcMB1NhbGZvcmQxGjAYBgNVBAoMEUNvbW9kbyBDQSBM
aW1pdGVkMSEwHwYDVQQDDBhBQUEgQ2VydGlmaWNhdGUgU2VydmljZXMwHhcNMDQwMTAxMDAwMDAw
WhcNMjgxMjMxMjM1OTU5WjB7MQswCQYDVQQGEwJHQjEbMBkGA1UECAwSR3JlYXRlciBNYW5jaGVz
dGVyMRAwDgYDVQQHDAdTYWxmb3JkMRowGAYDVQQKDBFDb21vZG8gQ0EgTGltaXRlZDEhMB8GA1UE
AwwYQUFBIENlcnRpZmljYXRlIFNlcnZpY2VzMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKC
AQEAvkCd9G7h6naHHE1FRI6+RsiDBp3BKv4YH47kAvrzq11QihYxC5oG0MVwIs1JLVRjzLZuaEYL
U+rLTCTAvHJO6vEVrvRUmhIKw3qyM2Di2olV8yJY897cz++DhqKMlE+faPKYkEaEJ8d2v+PMNSyL
XgdkZYLASLCokflhn3YgUKiRx2a163hiA1bwihoT6jGjHqCZ/Tj29icyWG8H9Wu4+xQrr7eqzNZj
X3OM2gWZqDioyxd4NlGs6Z70eDqNzw/ZQuKYDKsvnw4B3u+fmUnxLd+sdE0bmLVHxeUp0fmQGMdi
nL6DxyZ7Poolx8DdneY1aBAgnY/Y3tLDhJwNXugvyQIDAQABo4HAMIG9MB0GA1UdDgQWBBSgEQoj
PpbxB+zirynvgqV/0DCktDAOBgNVHQ8BAf8EBAMCAQYwDwYDVR0TAQH/BAUwAwEB/zB7BgNVHR8E
dDByMDigNqA0hjJodHRwOi8vY3JsLmNvbW9kb2NhLmNvbS9BQUFDZXJ0aWZpY2F0ZVNlcnZpY2Vz
LmNybDA2oDSgMoYwaHR0cDovL2NybC5jb21vZG8ubmV0L0FBQUNlcnRpZmljYXRlU2VydmljZXMu
Y3JsMA0GCSqGSIb3DQEBBQUAA4IBAQAIVvwC8Jvo/6T61nvGRIDOT8TF9gBYzKa2vBRJaAR26Obu
XewCD2DWjVAYTyZOAePmsKXuv7x0VEG//fwSuMdPWvSJYAV/YLcFSvP28cK/xLl0hrYtfWvM0vNG
3S/G4GrDwzQDLH2W3VrCDqcKmcEFi6sML/NcOs9sN1UJh95TQGxY7/y2q2VuBPYb3DzgWhXGntnx
WUgwIWUDbOzpIXPsmwOh4DetoBUYj/q6As6nLKkQEyzU5QgmqyKXYPiQXnTUoppTvfKpaOCibsLX
bLGjD56/62jnVvKu8uMrODoJgbVrhde+Le0/GreyY+L1YiyC1GoAQVDxOYOflek2lphuMIIFgTCC
BGmgAwIBAgIQOXJEOvkit1HX02wQ3TE1lTANBgkqhkiG9w0BAQwFADB7MQswCQYDVQQGEwJHQjEb
MBkGA1UECAwSR3JlYXRlciBNYW5jaGVzdGVyMRAwDgYDVQQHDAdTYWxmb3JkMRowGAYDVQQKDBFD
b21vZG8gQ0EgTGltaXRlZDEhMB8GA1UEAwwYQUFBIENlcnRpZmljYXRlIFNlcnZpY2VzMB4XDTE5
MDMxMjAwMDAwMFoXDTI4MTIzMTIzNTk1OVowgYgxCzAJBgNVBAYTAlVTMRMwEQYDVQQIEwpOZXcg
SmVyc2V5MRQwEgYDVQQHEwtKZXJzZXkgQ2l0eTEeMBwGA1UEChMVVGhlIFVTRVJUUlVTVCBOZXR3
b3JrMS4wLAYDVQQDEyVVU0VSVHJ1c3QgUlNBIENlcnRpZmljYXRpb24gQXV0aG9yaXR5MIICIjAN
BgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEAgBJlFzYOw9sIs9CsVw127c0n00ytUINh4qogTQkt
ZAnczomfzD2p7PbPwdzx07HWezcoEStH2jnGvDoZtF+mvX2do2NCtnbyqTsrkfjib9DsFiCQCT7i
6HTJGLSR1GJk23+jBvGIGGqQIjy8/hPwhxR79uQfjtTkUcYRZ0YIUcuGFFQ/vDP+fmyc/xadGL1R
jjWmp2bIcmfbIWax1Jt4A8BQOujM8Ny8nkz+rwWWNR9XWrf/zvk9tyy29lTdyOcSOk2uTIq3XJq0
tyA9yn8iNK5+O2hmAUTnAU5GU5szYPeUvlM3kHND8zLDU+/bqv50TmnHa4xgk97Exwzf4TKuzJM7
UXiVZ4vuPVb+DNBpDxsP8yUmazNt925H+nND5X4OpWaxKXwyhGNVicQNwZNUMBkTrNN9N6frXTps
NVzbQdcS2qlJC9/YgIoJk2KOtWbPJYjNhLixP6Q5D9kCnusSTJV882sFqV4Wg8y4Z+LoE53MW4LT
TLPtW//e5XOsIzstAL81VXQJSdhJWBp/kjbmUZIO8yZ9HE0XvMnsQybQv0FfQKlERPSZ51eHnlAf
V1SoPv10Yy+xUGUJ5lhCLkMaTLTwJUdZ+gQek9QmRkpQgbLevni3/GcV4clXhB4PY9bpYrrWX1Uu
6lzGKAgEJTm4Diup8kyXHAc/DVL17e8vgg8CAwEAAaOB8jCB7zAfBgNVHSMEGDAWgBSgEQojPpbx
B+zirynvgqV/0DCktDAdBgNVHQ4EFgQUU3m/WqorSs9UgOHYm8Cd8rIDZsswDgYDVR0PAQH/BAQD
AgGGMA8GA1UdEwEB/wQFMAMBAf8wEQYDVR0gBAowCDAGBgRVHSAAMEMGA1UdHwQ8MDowOKA2oDSG
Mmh0dHA6Ly9jcmwuY29tb2RvY2EuY29tL0FBQUNlcnRpZmljYXRlU2VydmljZXMuY3JsMDQGCCsG
AQUFBwEBBCgwJjAkBggrBgEFBQcwAYYYaHR0cDovL29jc3AuY29tb2RvY2EuY29tMA0GCSqGSIb3
DQEBDAUAA4IBAQAYh1HcdCE9nIrgJ7cz0C7M7PDmy14R3iJvm3WOnnL+5Nb+qh+cli3vA0p+rvSN
b3I8QzvAP+u431yqqcau8vzY7qN7Q/aGNnwU4M309z/+3ri0ivCRlv79Q2R+/czSAaF9ffgZGclC
KxO/WIu6pKJmBHaIkU4MiRTOok3JMrO66BQavHHxW/BBC5gACiIDEOUMsfnNkjcZ7Tvx5Dq2+UUT
JnWvu6rvP3t3O9LEApE9GQDTF1w52z97GA1FzZOFli9d31kWTz9RvdVFGD/tSo7oBmF0Ixa1DVBz
J0RHfxBdiSprhTEUxOipakyAvGp4z7h/jnZymQyd/teRCBaho1+VMIIG5jCCBM6gAwIBAgIQMQJw
1DW+mySa+FbQ4eKFSTANBgkqhkiG9w0BAQwFADCBiDELMAkGA1UEBhMCVVMxEzARBgNVBAgTCk5l
dyBKZXJzZXkxFDASBgNVBAcTC0plcnNleSBDaXR5MR4wHAYDVQQKExVUaGUgVVNFUlRSVVNUIE5l
dHdvcmsxLjAsBgNVBAMTJVVTRVJUcnVzdCBSU0EgQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkwHhcN
MjAwMjE4MDAwMDAwWhcNMzMwNTAxMjM1OTU5WjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VB
TlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNDCCAiIwDQYJKoZIhvcN
AQEBBQADggIPADCCAgoCggIBALNK4iJeJ1vpBFsUBDUyIBSutNIxQMbNUMAeoUTKr55KYX8tkN5i
mzNqLaRCypYBPP9wED2AaO6e8njkbjzJwLgPqDBkW9sG3kmi3GW6cF4Hwr5ysZqve/5EJDhV+9Oh
fTu/4dMnoR4Q41HcjMk9MzLOADAQ0awBZ/29r0d49AUmIKELNeqEqmnTN6fndL7x/2K0TLToZLxq
S7sy/Jvi0wEFr0CfdjcAsioh7KaD+Jizyb1aRKQzJ6Q20VEHX7UqWc1SkzTkbz6xj0S5ydBBFQh0
fNiy+qM/deVpK4HgmPSJrrpQZ+LlbHfWabmwoDPxF71QZVYiqrrAoUrGRJ+47iLBiIg8miIYS7Hd
2ppvAUt24CugMXUjETjQ+oYh09fNi5n/AvoER8UBvTHLxt+blL0bvL+2z2YiUWk+2Qtn+dD+JU5Z
2y71qV7+cr+4YXjvGzF5bYsi8HiwflTb4Php3y+k1twKtchdcq2QGc0eDG6Y01nRHUiyr8/PtMAs
LHEPNZ2wzsA7fb8mftHiV20ZFmYqknJ8AIOfwdTVA+E62JayOJ+sxadqcmFDorsz/mrPwGZ8+txr
4xSuvVjg0dlv0yuA+1YpBDIYNfL4bkX+IcZ1mTstL4Xw0f4N2iW3bBmnPnYmoYxMM8gflCiTgss7
3nBvG2f7v1PD7BDGYNO4iD4vAgMBAAGjggGLMIIBhzAfBgNVHSMEGDAWgBRTeb9aqitKz1SA4dib
wJ3ysgNmyzAdBgNVHQ4EFgQUaQChxyFY+ODFGyCwCt2nUb8T2eQwDgYDVR0PAQH/BAQDAgGGMBIG
A1UdEwEB/wQIMAYBAf8CAQAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwMEMDgGA1UdIAQx
MC8wLQYEVR0gADAlMCMGCCsGAQUFBwIBFhdodHRwczovL3NlY3RpZ28uY29tL0NQUzBQBgNVHR8E
STBHMEWgQ6BBhj9odHRwOi8vY3JsLnVzZXJ0cnVzdC5jb20vVVNFUlRydXN0UlNBQ2VydGlmaWNh
dGlvbkF1dGhvcml0eS5jcmwwdgYIKwYBBQUHAQEEajBoMD8GCCsGAQUFBzAChjNodHRwOi8vY3J0
LnVzZXJ0cnVzdC5jb20vVVNFUlRydXN0UlNBQWRkVHJ1c3RDQS5jcnQwJQYIKwYBBQUHMAGGGWh0
dHA6Ly9vY3NwLnVzZXJ0cnVzdC5jb20wDQYJKoZIhvcNAQEMBQADggIBAAoFTnsNjx8TOQD9b+xi
xsPt7Req4wHMeNw/R5dddEPgQAQAYJZKz5BEv1cjGbH7nbPH3AxrxhN6OVH40p6OLIo9MXSrrfMz
Gs7/P+FTCjwgNxFEtLQ1KC9NboA3asJcl7mIs3l8h9iAgEH1zLUvq2s+5n++NQmbzudDsTFDMapY
3kX1TwyUCTRzmItqcbsYIyg2MeIXWfRtqPqC5R4bufmpzA5BPINLX340Sp/CNQ9QZqw3VkfyHWwT
o+vO9Gm2L6srNamJT6Lb+TeXZvl8UPL5a72O/pH0GgGHjt6z9QzPARnaRKshVWviNK6ST4WmZHll
u3CJg0BXqx1vWyswawgvNeWt1qxITacYe9mSWTbNR2CftvTUwerruDSY2jMaZPoNqbjUpuG/blYw
WzzvVerBUhviAahPXJF/9V48ybWPBq6qKOEokW+s3B4ad5sY96KlovEijaIQDip1HO0SD+rLNYai
Bcr9MV2aK+DfbZ8w9BaNCQyFEYwzxIKOVk3bYvzHRk5ihUDascmbk/bkiNl74c/KfuKQmJImaqWo
WZR6jBcXcPV0WUIKz/nILTpFhGojZEQW77by3aezAi9jrEIUBHRG1LwzPbJc2V3SOzYyaJFQatzu
KZbN1Q9s9y/2x1QXtKwREY8jNgvx0iIfOK35gKgYJJcyDql4XfuEc2nVMIIHZDCCBUygAwIBAgIQ
ThtP+BLGVvw81AOrtuiGfjANBgkqhkiG9w0BAQwFADBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQ
R0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNDAeFw0yNDEwMjMw
MDAwMDBaFw0yNjEwMjMyMzU5NTlaMIHWMQswCQYDVQQGEwJERTEcMBoGA1UECBMTTm9yZHJoZWlu
LVdlc3RmYWxlbjEkMCIGA1UECgwbVW5pdmVyc2l0w6R0IER1aXNidXJnLUVzc2VuMREwDwYDVQRh
EwhHT1ZERStOVzEsMCoGCSqGSIb3DQEJARYdamFuaXMudm9pZ3RsYWVuZGVyQHVuaS1kdWUuZGUx
FTATBgNVBAQMDFZvaWd0bMOkbmRlcjEOMAwGA1UEKhMFSmFuaXMxGzAZBgNVBAMMEkphbmlzIFZv
aWd0bMOkbmRlcjCCAiIwDQYJKoZIhvcNAQEBBQADggIPADCCAgoCggIBALdLFx/B8st4OAgvcw47
kzjBDNHYHxAw8lnz2OyLsfkBzmpaa/6jQ7PxOthkzVDzwVzELkMgVLVFYDS2RcclgjJf2JEnU4gR
aXYtCHbQfMzlOuDhTyXC3MpfubgurYI+OJjWawp8QEd0Hj/1LzQJKqmfMORsGSX1W/Rkw+JX5UGx
0Ept1djWRRh071+hmIs6zaR7sxqNiNv0Mb2bTMlpsNamQA1SbMZbaT2GHcxVnIM7VOy/q1EdjNgD
A35V6QLehG1JVjkuhvmCPFv/BV/NlKofSREk8cdZZwd304Co3v58QlzOfBcma8gMH6XI4dzh3c2g
s2fWCYlxTR7BGYtFVMIbrrmnq5T9KCt1zqLfCYJCDLgeQ+kCKVoa4HUns4wTatqPXofOGmLUSsgP
K7NMRyMhVpfbCLBR+UlGDo7etlyDEIUEnuOadIV74elJVX9eOVYxjZB8iUlbkNfU9O4iljPWDu3W
wQJiCV2GMTQi6RtXwJBwl3UwZx2WWQSDZiIU+k6oNOnoR5cMBdkmkITh7jv9DYuvh/6xxHXfmppJ
6GKpg8lEzhx7AKQpIut923cftJC/KWQ/mVR5w0+C/SMuMh52JjYTSTNY+vFEa1VcPmB3jyDiqJtq
x742Nq7Mr4ha0NBjLYrPFzuCBBZL1sIL4gQiBGTb/qB1Xigx8AC9NtinAgMBAAGjggG7MIIBtzAf
BgNVHSMEGDAWgBRpAKHHIVj44MUbILAK3adRvxPZ5DAdBgNVHQ4EFgQU+Y2s13NVS01WbPaU/Y8i
nqNpK18wDgYDVR0PAQH/BAQDAgWgMAwGA1UdEwEB/wQCMAAwHQYDVR0lBBYwFAYIKwYBBQUHAwQG
CCsGAQUFBwMCMFAGA1UdIARJMEcwOgYMKwYBBAGyMQECAQoEMCowKAYIKwYBBQUHAgEWHGh0dHBz
Oi8vc2VjdGlnby5jb20vU01JTUVDUFMwCQYHZ4EMAQUDAjBCBgNVHR8EOzA5MDegNaAzhjFodHRw
Oi8vR0VBTlQuY3JsLnNlY3RpZ28uY29tL0dFQU5UUGVyc29uYWxDQTQuY3JsMHgGCCsGAQUFBwEB
BGwwajA9BggrBgEFBQcwAoYxaHR0cDovL0dFQU5ULmNydC5zZWN0aWdvLmNvbS9HRUFOVFBlcnNv
bmFsQ0E0LmNydDApBggrBgEFBQcwAYYdaHR0cDovL0dFQU5ULm9jc3Auc2VjdGlnby5jb20wKAYD
VR0RBCEwH4EdamFuaXMudm9pZ3RsYWVuZGVyQHVuaS1kdWUuZGUwDQYJKoZIhvcNAQEMBQADggIB
AGAQUdcOm0twCUdPLIfLanDigvyHMBGdrVcfVEKWbOlL7QluyxtpVTqZNIRemiqG2T+UDJ+QwqJh
G87umbEW4e2LBTqMTRxRmTQg0PLKvqdGTSeufvT3g+nEx3/ymo9SYy4Hm2AJPtoIPKulad4LowSZ
7JRklhwAvMIYJpOQqyljrs+bTDmFUZiFoZGKB8csHrttuLOlnQbzfX9FykCuy37XxgKTd6Hwu6yl
BESJXZfOuQDpGYulBPZq3rjX7HM0w1VQcrCjbfwbz0dSaI5Q3vL9W7aTN8doe4a+7ug+cLl545kX
r6cCiLD2p20zqlQRsNdv5mU1oYTDLZzR2Nk2Y10TyA7Z8yUNSNd90eEATNZCpRLPJBVYMVYU0RRI
3pY0ksw0/EJs0j6dPX24wklThCBwh1uxAOW9GIjAQc5M9ORKHvkulr74jlrar4COc0zKAcG+7SVy
5hnCip5vz/cKb4vsykc6H7H3DQzkwpOVmdNrgwWuL20pvakbaKsFL/ivONiNUnVFvLxOdEOvVmhB
Irx19wBzk1Qx4VR1KHKJoaTHsJfMumT1MqVY6G0bZne/G1ExD3Pt343bfpRlIz4SXf8vbs9wtLLq
F6+sJ1QUmXlp+5/EikshQdseVwWHF12N2Ekehk3u8qoRhzY/4IO8bij04duFXFGtJulfZvYBCLGa
MYIEYDCCBFwCAQEwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VBTlQgVmVyZW5pZ2luZzEc
MBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQThtP+BLGVvw81AOrtuiGfjANBglghkgBZQME
AgEFAKCCAdcwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMjYwMzIz
MTI1MTIxWjAvBgkqhkiG9w0BCQQxIgQgWGEB0dEFpZdG9pNiEQJypkk1TK48ItQf7soxZV+4ri8w
aQYJKwYBBAGCNxAEMVwwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VBTlQgVmVyZW5pZ2lu
ZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQThtP+BLGVvw81AOrtuiGfjBrBgsqhkiG
9w0BCRACCzFcoFowRjELMAkGA1UEBhMCTkwxGTAXBgNVBAoTEEdFQU5UIFZlcmVuaWdpbmcxHDAa
BgNVBAMTE0dFQU5UIFBlcnNvbmFsIENBIDQCEE4bT/gSxlb8PNQDq7bohn4wgZMGCSqGSIb3DQEJ
DzGBhTCBgjALBglghkgBZQMEASowCwYJYIZIAWUDBAEWMAoGCCqGSIb3DQMHMAsGCWCGSAFlAwQB
AjAOBggqhkiG9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQC
AzALBglghkgBZQMEAgIwBwYFKw4DAhowDQYJKoZIhvcNAQEBBQAEggIALyh0YN7VnetO4gmBGBXV
+6s3IZIS/I4CltPRLlvR4EFeLVchu1UgsGiXpAtOhbMOlZtIvcvBUfHpEQOnSpJg+RJNmoNOhDuh
uKPLEOh2J1zYG/bBfFTHVnAGbMnLIG+NLXaqW/R2t+FtCbmTwoFN2febRAHg8NR72VfJxMBX2sut
1DpC9tq7KqueF9crUyi4HAKp1fglXcZvJ705oXBQQ4TFZS/VDsGF+E3vI5jwziSkikXiFYmmL00X
OmiEA/P7Ceo/erBzZYunTtv2fuvjoUboE+GjGrRH1cv9WqBzikfxhhHHNLcFF8117JhsDJb5AXud
a4G1Ht91VVPxQ7JyUjYkNhxkbSx36Ng47c4lyJ+bLrruUvBsfgzYYrokc/v7Bum/t7HJ9QZTV0xE
kO193VA/ennqn2D9DrelNPdoF58N89tfg/WK7D5L0/5Aj5LzALW3bw/wYzF05abEu+JFjqAyoXQT
vULw1A81pzYzTvOv1rrCHUZmD4wZjnVgOtat7DSF140ESvg1ljVQffxGH31xmHMwoRnDJZihFVJe
7MJmxSYhGjU6DvnNN1/RaKWKtwasU3XgFPJR16m2P10JGdiI+eqYlaUoPorgXUUcA6kNJyThFRzV
Bsirzje3bSyidK8edZZ5QC5lZ+BSzFROBJ+QjB4aQNVC9+KLi6pfqUkAAAAAAAA=

------=_NextPart_000_00BE_01DCBACC.219AF390--

--===============2182157043650279018==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Haskell mailing list -- [email protected]
To unsubscribe send an email to [email protected]

--===============2182157043650279018==--