Workshop on GenAI for Theorem Proving, Edinburgh 7-9 April 2025

--===============5224787367666847921==
Content-Type: multipart/alternative; boundary="00000000000049ec87062ea342c5"

--00000000000049ec87062ea342c5
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit

Dear friends and colleagues,

a final call for registering as a participant at the workshop
Theorem Proving and Machine Learning in the age of LLMs: SoA and Future
Perspectives <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Feuroproofnet.github.io%2Fwg5-edinburgh25%2F&data=05%7C02%7Cclean-list%40science.ru.nl%7Cda4833ad121c4045013908dd52569134%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638757253943350079%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=gAK%2By19AtsTo3xns8YQUTBBjzIwstLLZdadnZL74LYs%3D&reserved=0>
that will take place in Edinburgh, 7-9 April 2023.
We have a strong program
<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fsmart-program%2FEuroProofNet-WG5%2Findex.html&data=05%7C02%7Cclean-list%40science.ru.nl%7Cda4833ad121c4045013908dd52569134%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638757253943365187%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=qV%2Bjp7ttEQvV%2B%2FCCa%2BMjHon3YgHue%2BWZvqA7766M4qs%3D&reserved=0>,  so join
us and have fun!

Please just note that all (even local) participants are required to
register no later than the 12th of March:  due to the high number of
participants we had to resort to a more formal organisation strategy.

Looking forward to seeing you at the workshop,
Ekaterina, Kathrin, Michael, Elizabeth, Christian

--00000000000049ec87062ea342c5
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Dear friends and colleagues,</div><div><br></div><div=
>a final call for registering as a participant at the workshop=C2=A0</div><=
div><h1 id=3D"gmail-page-title" class=3D"gmail-page__title" style=3D"box-si=
zing:border-box;margin:0px 0px 0.5em;line-height:1"><a href=3D"https://eur0=
1.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Feuroproofnet.github=
.io%2Fwg5-edinburgh25%2F&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C=
da4833ad121c4045013908dd52569134%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0=
%7C638757253943384801%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiO=
iIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7=
C&amp;sdata=3DEGnT%2BrbLtNSaCisIrXzecnrEeoJ%2B1t58RQ2BrDZNVBw%3D&amp;reserv=
ed=3D0" originalSrc=3D"https://europroofnet.github.io/wg5-edinburgh25/" sty=
le=3D"box-sizing:border-box;outline:0px"><font size=3D"2">Theorem Proving a=
nd Machine Learning in the age of LLMs: SoA and Future Perspectives</font><=
/a></h1></div><div><div dir=3D"ltr" class=3D"gmail_signature" data-smartmai=
l=3D"gmail_signature"><div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><d=
iv dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div dir=
=3D"ltr"><div><span style=3D"letter-spacing:0.2px">that will take place in =
Edinburgh, 7-9 April 2023.</span></div><div><span style=3D"letter-spacing:0=
.2px">We have a <a href=3D"https://eur01.safelinks.protection.outlook.com/?=
url=3Dhttps%3A%2F%2Feasychair.org%2Fsmart-program%2FEuroProofNet-WG5%2Finde=
x.html&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7Cda4833ad121c404501=
3908dd52569134%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C638757253943394=
263%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlA=
iOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&amp;sdata=3Dig4l=
2ZDSngf5Dhg0seKZuENq8VtVSIXJdxJ%2BiLg3HM4%3D&amp;reserved=3D0" originalSrc=
=3D"https://easychair.org/smart-program/EuroProofNet-WG5/index.html">strong=
 program</a>,=C2=A0=C2=A0</span>so join<span style=3D"letter-spacing:0.2px"=
> us and have fun!</span></div><div><span style=3D"letter-spacing:0.2px"><b=
r></span></div><div><span style=3D"letter-spacing:0.2px">Please just note t=
hat all (even local) participants are required to register no later than th=
e 12th=C2=A0of March:=C2=A0 due to the high number of participants we had t=
o resort to a more formal organisation strategy.=C2=A0</span></div><div><sp=
an style=3D"letter-spacing:0.2px"><br></span></div><div><span style=3D"lett=
er-spacing:0.2px">Looking forward to seeing you at the workshop,</span></di=
v><div><span style=3D"letter-spacing:0.2px">Ekaterina, Kathrin, Michael, El=
izabeth, Christian=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0=C2=A0</span></div><div><br></div><div><br></div><div><br>=
</div></div></div></div></div></div></div></div></div></div></div></div>

--00000000000049ec87062ea342c5--

--===============5224787367666847921==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz
dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z
Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo=

--===============5224787367666847921==--