Email Gateway (Jul 19 2023 at 17:15): Email Gateway (Jul 19 2023 at 17:15):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 here:
https://europroofnet.github.io/cambridge-2023/
Best wishes,
Angeliki
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: Jan 04 2025 at 20:18 UTC