RC 2026: Call for Participation
Clément Aubert <[email protected]> Wed, 29 Apr 2026 12:45:36 -0400
| Newsgroups | gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------jO3o0rpo0RU34RqQY3vaiS04 Content-Type: multipart/mixed; boundary="------------dq8aXCtSTk11VMXV3g4Dk0Zb"; protected-headers="v1" From: =?UTF-8?Q?Cl=C3=A9ment_Aubert?= <[email protected]> To: RC 2026 <[email protected]> Message-ID: <[email protected]> Subject: RC 2026: Call for Participation --------------dq8aXCtSTk11VMXV3g4Dk0Zb Content-Type: multipart/mixed; boundary="------------iFXEzdTeBMn5SiLuIi4pNqNW" --------------iFXEzdTeBMn5SiLuIi4pNqNW Content-Type: multipart/alternative; boundary="------------EO8uTMSQK1uBn2IBaM9IgxOA" --------------EO8uTMSQK1uBn2IBaM9IgxOA Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 IMKgUkVWRVJTSUJMRSBDT01QVVRBVElPTiAyMDI2DQoNCjE4dGggSW50ZXJuYXRpb25hbCBD b25mZXJlbmNlIG9uIFJldmVyc2libGUgQ29tcHV0YXRpb24NCg0KSnVseSA54oCTMTAsIDIw MjYsIFRvcmlubywgSXRhbHkNCg0KaHR0cHM6Ly9yZXZlcnNpYmxlLWNvbXB1dGF0aW9uLmdp dGh1Yi5pby8NCg0KDQpTY29wZQ0KPT09PT0NCg0KUmV2ZXJzaWJsZSBjb21wdXRhdGlvbiBo YXMgYSBncm93aW5nIG51bWJlciBvZiBwcm9taXNpbmcgYXBwbGljYXRpb24gDQphcmVhcyBz dWNoIGFzIGxvdyBwb3dlciBkZXNpZ24sIGNvZGluZy9kZWNvZGluZywgZGVidWdnaW5nLCB0 ZXN0aW5nIGFuZCANCnZlcmlmaWNhdGlvbiwgZGF0YWJhc2UgcmVjb3ZlcnksIGRpc2NyZXRl IGV2ZW50IHNpbXVsYXRpb24sIHJldmVyc2libGUgDQphbGdvcml0aG1zLCByZXZlcnNpYmxl IHNwZWNpZmljYXRpb24gZm9ybWFsaXNtcywgcmV2ZXJzaWJsZSBwcm9ncmFtbWluZyANCmxh bmd1YWdlcywgcHJvY2VzcyBhbGdlYnJhcywgYW5kIHRoZSBtb2RlbGluZyBvZiBiaW9jaGVt aWNhbCBzeXN0ZW1zLiANCkZ1cnRoZXJtb3JlLCByZXZlcnNpYmxlIGxvZ2ljIHByb3ZpZGVz IGEgYmFzaXMgZm9yIHF1YW50dW0gY29tcHV0YXRpb24gDQp3aXRoIGl0cyBhcHBsaWNhdGlv bnMsIGZvciBleGFtcGxlLCBpbiBjcnlwdG9ncmFwaHkgYW5kIGluIHRoZSANCmRldmVsb3Bt ZW50IG9mIGhpZ2hseSBlZmZpY2llbnQgYWxnb3JpdGhtcy4gRmlyc3QgcmV2ZXJzaWJsZSBj aXJjdWl0cyANCmFuZCBxdWFudHVtIGNpcmN1aXRzIGhhdmUgYmVlbiBpbXBsZW1lbnRlZCBh bmQgYXJlIHNlZW4gYXMgcHJvbWlzaW5nIA0KYWx0ZXJuYXRpdmVzIHRvIGNvbnZlbnRpb25h bCBDTU9TIHRlY2hub2xvZ3kuDQoNClRoZSBjb25mZXJlbmNlIHdpbGwgYnJpbmcgdG9nZXRo ZXIgcmVzZWFyY2hlcnMgZnJvbSBjb21wdXRlciBzY2llbmNlLCANCm1hdGhlbWF0aWNzLCBh bmQgcGh5c2ljcyB0byBkaXNjdXNzIG5ldyBkZXZlbG9wbWVudHMgYW5kIGRpcmVjdGlvbnMg Zm9yIA0KZnV0dXJlIHJlc2VhcmNoIGluIFJldmVyc2libGUgQ29tcHV0YXRpb24uIFRoaXMg aW5jbHVkZXMgYXBwbGljYXRpb25zIG9mIA0KcmV2ZXJzaWJpbGl0eSBpbiBxdWFudHVtIGNv bXB1dGF0aW9uLg0KDQoNClJlZ2lzdHJhdGlvbiAtLSBEYXRlcyAmIExvY2F0aW9uDQo9PT09 PT09PT09PT09PT09PT09PT09PT09PQ0KDQpodHRwczovL3JldmVyc2libGUtY29tcHV0YXRp b24uZ2l0aHViLmlvL3JlZ2lzdHJhdGlvbi8NCg0KRWFybHkgcmVnaXN0cmF0aW9uIGRpc2Nv dW50IGRlYWRsaW5lOiBNYXkgMTV0aCwgMjAyNg0KDQpDb25mZXJlbmNlOiBKdWx5IDl0aCAt LSBKdWx5IDEwdGgsIDIwMjYNCg0KVGhlIGNvbmZlcmVuY2Ugd2lsbCB0YWtlIHBsYWNlIC9V bml2ZXJzaXTDoCBkZWdsaSBTdHVkaSBkaSBUb3Jpbm8sIA0KRGlwYXJ0aW1lbnRvIFNjaWVu emUgZGVsbGEgVml0YSBlIEJpb2xvZ2lhIGRlaSBTaXN0ZW1pLCBWaWEgQWNjYWRlbWlhIA0K QWxiZXJ0aW5hLCAxMywgMTAxMjMgVG9yaW5vIFRPLywgSXRhbHkuIEluZm9ybWF0aW9uIG9u IHRyYXZlbCB3aWxsIGJlIA0KcG9zdGVkIG9uIGh0dHBzOi8vcmV2ZXJzaWJsZS1jb21wdXRh dGlvbi5naXRodWIuaW8vbG9jYXRpb24vIC4NCg0KDQpJbnZpdGVkIHRhbGtzDQo9PT09PT09 PT09DQoNCmh0dHBzOi8vcmV2ZXJzaWJsZS1jb21wdXRhdGlvbi5naXRodWIuaW8vaW52aXRl ZC8NCg0KKiBIYW5uYWggRWFybGV5LiBSZXZlcnNpbmcgdGhlIGhpc3Rvcnkgb2YgY29tcHV0 aW5nDQoNCiogUHJha2FzaCBQYW5hbmdhZGVuLiBRdWFudHVtIEFsdGVybmF0aW9uDQoNCkFj Y2VwdGVkIHBhcGVycw0KPT09PT09PT09PT09PT09DQoNCmh0dHBzOi8vcmV2ZXJzaWJsZS1j b21wdXRhdGlvbi5naXRodWIuaW8vYWNjZXB0ZWQvDQoNCkluIG5vIHBhcnRpY3VsYXIgb3Jk ZXIsIHNvbWUgYWNjZXB0cyBiZWluZyBjb25kaXRpb25hbDoNCg0KICAqIEFudG9uaW8gVHVk aXNjbywgRGVib3JhaCBWb2xwZSwgTWFyaWFncmF6aWEgR3Jhemlhbm8gYW5kIEdpb3Zhbm5h DQogICAgVHVydmFuaS4gL1Rvd2FyZCBRdWFudHVtIENpcmN1aXQgRXhlY3V0aW9uIFN1Y2Nl c3MgRXN0aW1hdGlvbiB2aWENCiAgICBHcmFwaCBOZXVyYWwgTmV0d29yay1iYXNlZCBQcmVk aWN0aW9uLw0KICAqIEJhcHRpc3RlIFZhbGzDqWUgYW5kIEl2YW4gTGFuZXNlLiAvT24gV2Vh ayBCaXNpbWlsYXJpdGllcyBpbiBDQ1NLLw0KICAqIEJ5cm9uIEdyZWdnIGFuZCBDaHJpc3Rv ZiBUZXVzY2hlci4gL0EgUHJvcG9zZWQgUmVzZWFyY2ggUGxhdGZvcm0gZm9yDQogICAgRnVs bHkgQWRpYWJhdGljLCBSZXZlcnNpYmxlLCBhbmQgU3VwZXJzY2FsYXIgKEZBUlMpIE1pY3Jv YXJjaGl0ZWN0dXJlcy8NCiAgKiBDaHJpc3RpbmUgTGkgYW5kIExpYSBZZWguIC9UcmFuc3Zl cnNhbCBBTkQgaW4gUXVhbnR1bSBDb2Rlcy8NCiAgKiBEYW5pZWwgRMOhdmFsb3MgYW5kIEhl cm7DoW4gQ2xhdWRpbyBNZWxncmF0dGkuIC9BIExlYW4gTWVjaGFuaXphdGlvbg0KICAgIG9m IFJldmVyc2libGUgT2NjdXJyZW5jZSBOZXRzLw0KICAqIEdpYWNvbW8gQmVsbGkgYW5kIE1p Y2hlbGUgQW1vcmV0dGkuIC9FeGFjdCBRdWFudHVtIFN0YXRlIFByZXBhcmF0aW9uDQogICAg d2l0aCB0aGUgU3RhbmRhcmQgUmVjdXJzaXZlIEJsb2NrIEJhc2lzLw0KICAqIEh1Z2ggUG90 dGVyIGFuZCBIYW5uYWggQmx5dG9uLiAvRGlzY3JldGUgU2VtYW50aWNzIGZvciBSZXZlcnNp YmxlDQogICAgVHJhbnNpc3RvciBOZXR3b3JrIFZlcmlmaWNhdGlvbi8NCiAgKiBJdmFuIExh bmVzZSBhbmQgR2VybWFuIFZpZGFsLiAvQSBSZXZlcnNpYmxlIFNlbWFudGljcyBmb3IgSmFu dXMvDQogICogSm9hY2hpbSBLcmlzdGVuc2VuLCBUcmllcmEgR2FzaGkgYW5kIE1pY2hhZWwg S2lya2VkYWwgVGhvbXNlbi4NCiAgICAvQXV0b21hdGljIEdlbmVyYXRpb24gb2YgR2VuZXJh dG9ycyBmb3IgUHJvcGVydHktQmFzZWQgVGVzdGluZyB3aXRoDQogICAgSW52ZXJzZSBJbnRl cnByZXRhdGlvbi8NCiAgKiBKdWxpZSBDYWlsbGVyIGFuZCBNYXJ0aW4gVmFzc29yLiAvQSBH cmFwaCBSZXdyaXRpbmctQmFzZWQgU2VtYW50aWNzDQogICAgYW5kIEltcGxlbWVudGF0aW9u IGZvciDPgc+ALw0KICAqIEtvc3VrZSBPbm9kZXJhLCBLZWlzdWtlIE5ha2FubywgS2F6dXl1 a2kgQXNhZGEgYW5kIEtlbnRhcm8gS2lrdWNoaS4NCiAgICAvUGlzb0xhbmc6IGEgVXNlci1G cmllbmRseSBSZXZlcnNpYmxlIFByb2dyYW1taW5nIExhbmd1YWdlIHdpdGgNCiAgICBJbmR1 Y3RpdmUgVHlwZXMvDQogICogTG91aXMgTWFyb3R0IE5vcm1hbm4gYW5kIFJvYmVydCBHbMO8 Y2suIC9QRUFSTDogQSBQYXJ0aWFsIEV2YWx1YXRpb24NCiAgICBUb29sYm94IGZvciBhIFJl dmVyc2libGUgTGFuZ3VhZ2UvDQogICogTHVrYXMgR2FpbCwgVXdlIE1leWVyIGFuZCBUcmlz dGFuIFNjaMO2bmhhbHMuIC9Db21waWxpbmcgUm9vcGwrKyB0byBIU1NBLw0KICAqIE5pY29s w7IgUGl6em8gYW5kIENsYXVkaW8gU2FjZXJkb3RpIENvZW4uIC9BIFJldmVyc2libGUgQ3J1 bWJsaW5nDQogICAgQWJzdHJhY3QgTWFjaGluZSBmb3IgUGxvdGtpbuKAmXMgQ2FsbC1ieS1W YWx1ZS8NCiAgKiBTdGVmYW4gS3VobiwgVmFuZGFuYSBEd2Fya2EsIFByemVteXNsYXcgS2Fy b2wgR3JlbmRhIGFuZCBFZXJvDQogICAgVmFpbmlra28uIC9SZXZlcnNpYmxlIERlZXAgTGVh cm5pbmcgZm9yIDEzQyBOTVIgaW4gQ2hlbW9pbmZvcm1hdGljczoNCiAgICBPbiBTdHJ1Y3R1 cmVzIGFuZCBTcGVjdHJhLw0KICAqIFRveWEgTWFraW5vIGFuZCBUZXRzdW8gWW9rb3lhbWEu IC9TbWFsbC1TdGVwIFNlbWFudGljcyB3aXRoDQogICAgTWV0YS1MZXZlbCBSZXZlcnNpYmls aXR5IGZvciBhIFJldmVyc2libGUgQ29yZSBMYW5ndWFnZS8NCiAgKiBZdW5hIFNhZGFtb3Rv LCBTaG9qaSBZdWVuIGFuZCBDbGF1ZGlvIEFudGFyZXMgTWV6emluYS4gL0ludHJvZHVjaW5n DQogICAgVGltZSBQYXNzYWdlIHRvIHRoZSBSZXZlcnNpYmxlIFNlbWFudGljcyBmb3IgRXJs YW5nLw0KDQpUaGUgcHJvY2VlZGluZ3Mgd2lsbCBiZSBwdWJsaXNoZWQgaW4gU3ByaW5nZXIn cyBMZWN0dXJlIE5vdGVzIGluIA0KQ29tcHV0ZXIgU2NpZW5jZSAoVm9sdW1lIDE2NjI2KSBp biBNYXkgb3IgSnVuZSwgYmVmb3JlIHRoZSBjb25mZXJlbmNlLg0K --------------EO8uTMSQK1uBn2IBaM9IgxOA Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE html> <html> <head> <meta http-equiv=3D"content-type" content=3D"text/html; charset=3DUTF= -8"> </head> <body> <div class=3D"moz-text-html" lang=3D"x-unicode"> <div class=3D"WordSection1"> <p class=3D"MsoNormal"><span lang=3D"EN-GB">=C2=A0REVERSIBLE COMP= UTATION 2026</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">18th International Conference on Reversible Computation</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"></span></p> <p class=3D"MsoNormal">July 9=E2=80=9310, 2026, Torino, Italy</p>= <p class=3D"MsoNormal"><span lang=3D"EN-GB"></span></p> <p class=3D"MsoNormal"><a class=3D"moz-txt-link-freetext" href=3D"https://reversible-computation.github.io/">https://re= versible-computation.github.io/</a></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><br> </span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Scope<br> =3D=3D=3D=3D=3D</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Reversible computatio= n has a growing number of promising application areas such as low power design, coding/decoding, debugging, testing and verification, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages, process algebras, and the modeling of biochemical systems. Furthermore, reversible logic provides a basis for quantum computation with its applications, for example, in cryptography and in the development of highly efficient algorithms. First reversible circuits and quantum circuits have been implemented and are seen as promising alternatives to conventional CMOS technology.</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">The conference will bring together researchers from computer science, mathematics, and physics to discuss new developments and directions for future research in Reversible Computation. This includes applications of reversibility in quantum computation.</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><br> </span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Registration -- Dates= & Location<br> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span><span lan= g=3D"EN-GB">=3D=3D=3D</span><span lang=3D"EN-GB">=3D=3D=3D</span><span lang=3D"EN-GB">=3D=3D=3D= </span><span lang=3D"EN-GB">=3D=3D</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><a class=3D"moz-txt-link-freetext" href=3D"https://reversible-computation.github.io/registration/">https://r= eversible-computation.github.io/registration/</a></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Early registration discount deadline: May 15th, 2026</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Conference: July 9th = -- July 10th, 2026</span></p> <p>The conference will take place <em>Universit=C3=A0 degli Studi= di Torino, Dipartimento Scienze della Vita e Biologia dei Sistemi, Via Accademia Albertina, 13, 10123 Torino TO</em>, Italy. Information on travel will be posted on <a class=3D"moz-txt-link-freetext" href=3D"https://reversible-c= omputation.github.io/location/">https://reversible-computation.github.io/= location/</a> .</p> <p class=3D"MsoNormal"><br> </p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Invited talks<br> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><a class=3D"moz-txt-link-freetext" href=3D"https://reversible-computation.github.io/invited/">= https://reversible-computation.github.io/invited/</a></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">* Hannah Earley. Reversing the history of computing</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">* Prakash Panangaden.= Quantum Alternation</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">=C2=A0</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Accepted papers<br> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D</span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><a class=3D"moz-txt-link-freetext" href=3D"https://reversible-computation.github.io/accepted/"= >https://reversible-computation.github.io/accepted/</a></span></p> </div> <div class=3D"WordSection1"> <p>In no particular order, some accepts being conditional:</p> <ul> <li>Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano and Giovanna Turvani. <em>Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-based Prediction</em></li> <li>Baptiste Vall=C3=A9e and Ivan Lanese. <em>On Weak Bisimilarities in CCSK</em></li> <li>Byron Gregg and Christof Teuscher. <em>A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) Microarchitectures</em></li> <li>Christine Li and Lia Yeh. <em>Transversal AND in Quantum Codes</em></li> <li>Daniel D=C3=A1valos and Hern=C3=A1n Claudio Melgratti. <em>= A Lean Mechanization of Reversible Occurrence Nets</em></li> <li>Giacomo Belli and Michele Amoretti. <em>Exact Quantum State Preparation with the Standard Recursive Block Basis</= em></li> <li>Hugh Potter and Hannah Blyton. <em>Discrete Semantics for Reversible Transistor Network Verification</em></li> <li>Ivan Lanese and German Vidal. <em>A Reversible Semantics for Janus</em></li> <li>Joachim Kristensen, Triera Gashi and Michael Kirkedal Thomsen. <em>Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation</em></li= > <li>Julie Cailler and Martin Vassor. <em>A Graph Rewriting-Based Semantics and Implementation for =CF=81=CF=80= </em></li> <li>Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada and Kentaro Kikuchi. <em>PisoLang: a User-Friendly Reversible Programming Language with Inductive Types</em></li> <li>Louis Marott Normann and Robert Gl=C3=BCck. <em>PEARL: A Partial Evaluation Toolbox for a Reversible Language</em></= li> <li>Lukas Gail, Uwe Meyer and Tristan Sch=C3=B6nhals. <em>Compi= ling Roopl++ to HSSA</em></li> <li>Nicol=C3=B2 Pizzo and Claudio Sacerdoti Coen. <em>A Reversi= ble Crumbling Abstract Machine for Plotkin=E2=80=99s Call-by-Va= lue</em></li> <li>Stefan Kuhn, Vandana Dwarka, Przemyslaw Karol Grenda and Eero Vainikko. <em>Reversible Deep Learning for 13C NMR in Chemoinformatics: On Structures and Spectra</em></li> <li>Toya Makino and Tetsuo Yokoyama. <em>Small-Step Semantics with Meta-Level Reversibility for a Reversible Core Language</em></li> <li>Yuna Sadamoto, Shoji Yuen and Claudio Antares Mezzina. <em>= Introducing Time Passage to the Reversible Semantics for Erlang</em></l= i> </ul> The proceedings will be published in Springer's Lecture Notes in Computer Science (Volume 16626) in May or June, before the conference.</div> </div> </body> </html> --------------EO8uTMSQK1uBn2IBaM9IgxOA-- --------------iFXEzdTeBMn5SiLuIi4pNqNW Content-Type: application/pgp-keys; name="OpenPGP_0xDC72C5ECF4AC65AC.asc" Content-Disposition: attachment; filename="OpenPGP_0xDC72C5ECF4AC65AC.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xsFNBGJFpv8BEADqfwuh8W6jUfxuFxp9ozYAx44ryoSxFK7pW4QZBknd51/6dsCD J0JNOM739MZtnCqAKcgvzm43ieuzms8T44cqOBIJqWOWgeeWjz/iincBvKDZ14TE mn7JvG2itRBY9fEHlYpEeHdDQ6gIry28Mv8hPH5ChBZW7iipBVsTI8Avc2S+k7t5 w6S2XCkPKOU4/kC++Xn9tEmbYojPIGJRFuZj+u5oVN6e/y0Fjj7xhpWQXsTwa0YS MVwGqUw2JiUaOocN3Z4RY6sNaJ8syWkquJQVOvKzgrsPp6ca88P9t2D+bF5NielF FcTmNWKF7VYEmuSPjwfUXx62RpCvLpCNGO1pMzHvQYBFrz/YJuZSFIbb4jbAD8Ez lXCXUDyLJMTWniz9TpTXhEELPVYLhjxgLr9k0sRpvyODSftsIK/eyAQNszG96TQF wwHLGv66DDtlwWBwJ8N+wZt1XXb0DE/mWt+syvtLSHaHnabKRCJjc5XM+gMvM0z7 yV3ThogVKOC1+MiVR54jQj47YmaX/hLdvP0VFE+e1NIwiF85DXcrs8wdtOFjcjyq DYnakPS4Z4/06T7hC0l3cBi9jWLBXp8fCwNU3sCzKvv8oPnANB7vjtKcZZzgPL0W 18ega/PSDYWBrE7aCLcdooWA2bbyo6agfUzi57wFp4eVfqOSbC0QYAd4FQARAQAB zSVDbMOpbWVudCBBdWJlcnQgPGF1YmVydEBtYXRoLmNucnMuZnI+wsGJBBMBCAAz FiEE186fTZckYBtSmP7y3HLF7PSsZawFAmJFpwECGwMFCwkIBwIGFQgJCgsCBRYC AwEAAAoJENxyxez0rGWsAnIQANPUlf3XrDiK+dJRW0OPAECVz+F2OnCXxAPjo8fo BjxrSbZnsa4motsmdlXHjVv/C9hOcfm43ajI1lgd3mrANim4nUGK9XKP08pSny6a rQPcBRDgzvcRCppyR6vAsawwGN3aBRic+dZOS8AspPxg6vz+PzCiMyAumWHMkPSt hemueFaSaYMJIZsp8iZtMxhw8Sm5YweWW8p5culdd9ak9O8bhCfwf+RAyO2SUdtV II6dZpAgDYweujgFcC1gzHC6ySCspqfVEJPQXmAXBKUB5r00NSBFA9tJD2n+02Yw hzKqs//qw82ht3dP6otjD5Vmn8Wg2PZS9AFbJM7DgOEjx3cdLwLpCfw1P/t+cZh+ xs4XnulWB5prh6TKTQtuLB04bx+9r9XoYtfCXqT4IH+Vj3HzQetkvi6vjhijWo1d KoYZbmlysJwj3CQQIGxXAgBDz5R1jF4hQmYmzdv2b+quUi1DhCqYk9eEThYlYJgf MPUzEwwHa0AvEd9azpdgjKxNu/v3Ri1KkSX+v11+K3RFJnQsJV+f30Lg4uoch2b0 ME5EHYyNQLEJupWjAdd5hn2t0+RY9zz0OtYpdiQZaY2H0+7hW/YsHbp3eO1slqWV yPsNV+5KIG2ItNlSufW6bnSNwqL2FKzkCsiS3ZCMWxwd8toCEHwQiRyCNN/iO3bF Hg4FzsFNBGJFpwEBEADBnhBKvj0bhjhptI5pEGOxsIaWnQkEtqqUE+xzKGoljegR BxrJ87tCd7607EZtaXGzfwpwVFZ4fFjpni8RId6XEBeAgc/BHsd2rxUrfr9vRSTG xSqLivetIU9dKbwkpVvuPzxcOaCeg1rAclOvT1BhBVS3uH0zKtWzkeWq4iRpEHjH TrE/4riOh7EQgIDBbBTbUXhMq9ijkbMHmMDh/skA7sqWr8IzXKY0LE4hQfBGEVWq lf87h/3v6OsE4s/yQ+ogJQ7Q4IVZZXrDadnDFLi8uKqxqbhA9YPkybbxZtgaAX6x pLM6EN3avN9d+0uBSSTX3WJRkM9veet0Q2zsOFxbuQz1BT0ZVhp/8TCNgB5XZZLq mnaYgb/THXr88w5tnOWFWKPXTq4kEkoXJmVdBvxuqylot0bjEh7nPu8DkXstz25C RJFPGSJMB+nKtly+oGvc4n6UMcCs1W+w5TMVr4zuKkqOGqsHtom/Brl/b+PwVC0/ 8hQ0VGgn8hXLAoR0ekbjOKw1xPcvLGMoneCh6xnGTDOT0vT6lVnTS3yrQSaW8sJZ wVoOwxburQYOfClTSPqLnGAkPYMMoZ9FdVvVmVsrxUbzKNiwjXVTI2v6iYlbgQI4 FcaCx0kbio/W/V+LgOgLLq+Uxy0tSj6GOPYCTw1w15WZ3u6lb8oLvrBAGovtQwAR AQABwsF2BBgBCAAgFiEE186fTZckYBtSmP7y3HLF7PSsZawFAmJFpwICGwwACgkQ 3HLF7PSsZaxjtxAAw0ZF6jo9hv8fos02b1dwxxPcrWbBjgaywQGKfCuJCeKtLIYP LlJpkj9MU9BVLPjrhF8eSa4+nmHvRKID7wwTaHHNFFM0Fn1ofE8jUU5O42Pyvw78 gJcQs0i/3/mZAmv9Cmd0+sgRjEYbBNytH0i53BiKdJMTlpIxjxl78v/3BAFECkQJ GqmdbHXxW0WL6NcFDenyA47so23GKktssEWiwwkXOUjrWHr7Pb2sdmPwwItUTLGU 31mco98cvts5u+sJma8vkXu31kObZdl6RNQ3lREph1IAd0iAkPgseKaSULKmELcF gPRCk9ZNFEF9BRF0uFS5PRMW12mh0QznKkZJgZkHj9fHINxkin8Teji5Cx1WVvsF aZoQxDJ2CwyKFiQpiv2qaRTwgyrzy62Gr3iaY/nYFI6MIz/xLaBED9Oq+z43RbX6 MnGhe81xWrS46TGIyPpyKx9qWtZT32GMPgJ6ijgs4yT3eBsQ8Vy9xpvlfvyMdh9l Ln3fZvK1D/xI3OApP2c6GdFMYZ0iMfoz58ZUDWojpdK4F5HKMiXjh9LKZzFiyHvn k2Z+IMIeHwQuqG9zH2s9sUBaoexXDZ30OSWPNWPJLxE1QOD4y2ON0nuca5xNHklp St1Z2AEuY8PpHPC+Pv8bsroKCqGHHXdqKP7q24WjaSBUAEkCB/13XakzN/A=3D =3DPMZS -----END PGP PUBLIC KEY BLOCK----- --------------iFXEzdTeBMn5SiLuIi4pNqNW-- --------------dq8aXCtSTk11VMXV3g4Dk0Zb-- --------------jO3o0rpo0RU34RqQY3vaiS04 Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature.asc" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEE186fTZckYBtSmP7y3HLF7PSsZawFAmnyNbAFAwAAAAAACgkQ3HLF7PSsZawm Mg/+Ica8PuA4LFptnj+6D0SWRA1lwBiYv75T3aoebLZCkb+xEIqSwM1CTb0+Xx0bJzvuwB7P+wYf 4855Uak2f69n8dSFIFaZ+TWw26p5l5kYC/uSO6bxe/G6dAn+OX71p9o2/I1xw6kbIgIOQRAL/SBD S++kDPFEUvbtU7mdZe5wi86lnpzHwZiJTyXMN5hJpNxL9gS5RcUKL/wnosd29KN9gry9wFH6h5E1 0mAbtPUKjyFvXbRrTJq2xq0UJpH8BqmE53guUHr35ZmBTe/Z06K3O5wxuOKKD/hssAlz+/zvNu4w EXC2OzH+4YA243yG3lxfL9a1HTnbSabm1OvQN81XT0hb8t14AWSBDtI3IB0n301HdgQc6vdvwC2b ghrv8wDpUyqHTtn4VnwSjilSCr7XpD0QkZyB2SYfQPNEBkbzLjZFQxX8iZyAzUV0Yb/I3rqdE2PJ 9HyNQGTY1GHnJkL3vfi6HOodwDBosXhVZ/DDkKqaHZZxqBXuwrlMc1E15RAZipUEBFFlVZMtU3JR l2KCj8BuBffOo29YRCv4KCU7zY0rUsQUf0Qej8yxezOwjYJzf4N7NFHsAl6EQHtuIDg6QnERhh5X PYIWFKSKgZl2UfdMRjDySMmqNWhU43PTpkAWa1vT7MVSQWCwcc4srHOqBh2eLv/ek9L8ASVX6U4b ROw= =Ohwe -----END PGP SIGNATURE----- --------------jO3o0rpo0RU34RqQY3vaiS04--