[Agda] Call for talks/participation - EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs

Frédéric Blanqui frederic.blanqui at inria.fr
Tue Jul 12 15:32:08 CEST 2022

Dear all,

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 
https://europroofnet.github.io/wg4-meeting1/ for more details.

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.

EuroProofNet can reimburse the transport to Tbilisi + some daily 
allowance for the accommodation on September 23-24 for a number of 
participants. Please check https://europroofnet.github.io/eligibility/ 
and https://europroofnet.github.io/reimbursement-rules/ to get more 
details. But participation can be online if you cannot go to Tbilisi.

If you are interested, please fill in 
https://forms.gle/fNxt1ot2xgUUSfGt5 before *July 24*.

You can forward this mail to colleagues and students.

Best regards,

Frédéric Blanqui and Claudio Sacerdoti.

(*) The [Computational Logic Autumn Summit 
2022](https://viam.science.tsu.ge/clas2022/) includes the [15th 
Conference on Intelligent Computer 
Mathematics](https://cicm-conference.org/2022/cicm.php) (CICM), the 
[24th International Symposium on Principles and Practice of Declarative 
Programming](https://software.imdea.org/Conferences/PPDP2022/) (PPDP), 
the [32nd International Symposium on Logic-based Program Synthesis and 
Transformation](https://lopstr2022.webs.upv.es/), the [International 
Conference on Practical and Theoretical Aspects of Logic, Cyber Security 
and Cryptography 2022](https://cs.omu.edu.tr/blacksea2022/), the [14th 
International Conference on Mathematics of Program 
Construction](https://www.macs.hw.ac.uk/mpc22/) (MPC), the [16th 
International Conference on Verification and Evaluation of Computer and 
Communication Systems](http://vecos-world.org/2022/) (VECoS), the [22nd 
Intl. Conf. on Runtime Verification](https://rv22.gitlab.io/) (RV), the 
[13th International School on 
Rewriting](https://viam.science.tsu.ge/clas2022/isr/) (ISR).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220712/f680062d/attachment.html>

More information about the Agda mailing list