Angeliki Koutsoukou-Argyraki (Jul 04 2023 at 11:48): Angeliki Koutsoukou-Argyraki (Jul 04 2023 at 11:48):Announcement: EuroProofNet Workshops, Cambridge, UK, Sept. 6-8 2023
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.
Angeliki Koutsoukou-Argyraki (Jul 19 2023 at 17:38):Hi, this is just a reminder about the joint WG4&WG5 EuroProofNet Workshops (Cambridge, UK, Sept. 6-8 2023)
as the deadline for abstract submissions (talk proposals) and funding applications is on 23 July.
https://europroofnet.github.io/cambridge-2023/
Last updated: Dec 21 2024 at 12:33 UTC