Email Gateway (Jul 04 2023 at 11:31): Email Gateway (Jul 04 2023 at 11:31):From: Angeliki Koutsoukou Argyraki <ak2110@cam.ac.uk>
Dear Isabelle users,
During the 16th Conference on Intelligent Computer Mathematics (CICM)
which takes place at Cambridge between September 4-8, there will be a EuroProofNet
joint WG4-WG5 meeting with:
a Workshop on Natural Formal Mathematics
(September 6-7).
a Workshop on Libraries of Formal Proofs and Natural Mathematical
Language (September 7-8).
The session on September 7 is common to the two workshops.
Participation is open to anyone. It is possible to apply for funding to attend if you are a EuroProofNet member (membership is free).
Please note the deadlines for abstract submission and funding application:
Notification of acceptance (abstracts and funding) will be given
between 24-30 July. Priority for funding will be given to people
submitting an abstract.
Camera-ready versions: 20 August.
It is possible to arrive a few days before and leave a few days
after the meeting but a maximum of 4.4 daily allowances may be reimbursed via EuroProofNet.
Find all the details and the link to the submission and application form
on https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Feuroproofnet.github.io%2Fcambridge-2023%2F&data=05%7C01%7Cak2110%40universityofcambridgecloud.onmicrosoft.com%7C762cc73e2d654099579108db7c5cc9a3%7C49a50445bdfa4b79ade3547b4f3986e9%7C1%7C0%7C638240510175511498%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=yznYqUNG0A8e9OsxceCrtXNLh0aNpbrc%2BIyt5EI5ga4%3D&reserved=0<https://europroofnet.github.io/cambridge-2023/>.
Best wishes,
Dr Angeliki Koutsoukou-Argyraki
Senior Research Associate
Department of Computer Science and Technology
(Computer Laboratory)
and Clare College Cambridge
15 JJ Thomson Avenue
University of Cambridge
CB3 0FD, UK
ak2110[at]cam[dot]ac[dot]uk
https://www.cl.cam.ac.uk/~ak2110/
Tel.: (+44)/(0)1223763620 (Office)
Last updated: Apr 29 2024 at 01:08 UTC