[Agda] Call for talks/participation - EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
frederic.blanqui at inria.fr
Tue Jul 12 15:32:08 CEST 2022
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.
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
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda