<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
Dear all,<br>
<div class="moz-forward-container">
<div class="moz-forward-container">
<div class="moz-forward-container"><br>
EuroProofNet is going to organize a workshop on the
development, maintenance, refactoring and search of large
libraries of proofs, on September 23-24, in Tbilisi, Georgia,
as part of the Computational Logic Autumn Summit 2022, so in
co-location with many other interesting conferences and
schools (*). See <a class="moz-txt-link-freetext"
href="https://europroofnet.github.io/wg4-meeting1/"
moz-do-not-send="true">https://europroofnet.github.io/wg4-meeting1/</a>
for more details.<br>
<br>
We welcome talks, tutorials, demos, on library descriptions or
on methodologies, algorithms and tools trying to tackle the
challenges raised by the development, maintenance, refactoring
and search of large libraries of proofs.<br>
<br>
EuroProofNet can reimburse the transport to Tbilisi + some
daily allowance for the accommodation on September 23-24 for a
number of participants. Please check <a
class="moz-txt-link-freetext"
href="https://europroofnet.github.io/eligibility/"
moz-do-not-send="true">https://europroofnet.github.io/eligibility/</a>
and <a class="moz-txt-link-freetext"
href="https://europroofnet.github.io/reimbursement-rules/"
moz-do-not-send="true">https://europroofnet.github.io/reimbursement-rules/</a>
to get more details. But participation can be online if you
cannot go to Tbilisi.<br>
<br>
If you are interested, please fill in <a
class="moz-txt-link-freetext"
href="https://forms.gle/fNxt1ot2xgUUSfGt5"
moz-do-not-send="true">https://forms.gle/fNxt1ot2xgUUSfGt5</a>
before <b>July 24</b>.<br>
<br>
You can forward this mail to colleagues and students.<br>
<br>
Best regards,<br>
<br>
Frédéric Blanqui and Claudio Sacerdoti.<br>
<br>
(*) The [Computational Logic Autumn Summit 2022](<a
class="moz-txt-link-freetext"
href="https://viam.science.tsu.ge/clas2022/"
moz-do-not-send="true">https://viam.science.tsu.ge/clas2022/</a>)
includes the [15th Conference on Intelligent Computer
Mathematics](<a class="moz-txt-link-freetext"
href="https://cicm-conference.org/2022/cicm.php"
moz-do-not-send="true">https://cicm-conference.org/2022/cicm.php</a>)
(CICM), the [24th International Symposium on Principles and
Practice of Declarative Programming](<a
class="moz-txt-link-freetext"
href="https://software.imdea.org/Conferences/PPDP2022/"
moz-do-not-send="true">https://software.imdea.org/Conferences/PPDP2022/</a>)
(PPDP), the [32nd International Symposium on Logic-based
Program Synthesis and Transformation](<a
class="moz-txt-link-freetext"
href="https://lopstr2022.webs.upv.es/"
moz-do-not-send="true">https://lopstr2022.webs.upv.es/</a>),
the [International Conference on Practical and Theoretical
Aspects of Logic, Cyber Security and Cryptography 2022](<a
class="moz-txt-link-freetext"
href="https://cs.omu.edu.tr/blacksea2022/"
moz-do-not-send="true">https://cs.omu.edu.tr/blacksea2022/</a>),
the [14th International Conference on Mathematics of Program
Construction](<a class="moz-txt-link-freetext"
href="https://www.macs.hw.ac.uk/mpc22/"
moz-do-not-send="true">https://www.macs.hw.ac.uk/mpc22/</a>)
(MPC), the [16th International Conference on Verification and
Evaluation of Computer and Communication Systems](<a
class="moz-txt-link-freetext"
href="http://vecos-world.org/2022/" moz-do-not-send="true">http://vecos-world.org/2022/</a>)
(VECoS), the [22nd Intl. Conf. on Runtime Verification](<a
class="moz-txt-link-freetext" href="https://rv22.gitlab.io/"
moz-do-not-send="true">https://rv22.gitlab.io/</a>) (RV),
the [13th International School on Rewriting](<a
class="moz-txt-link-freetext"
href="https://viam.science.tsu.ge/clas2022/isr/"
moz-do-not-send="true">https://viam.science.tsu.ge/clas2022/isr/</a>)
(ISR).<br>
<br>
<br>
</div>
</div>
</div>
</body>
</html>