Email Gateway (Feb 21 2025 at 09:03): Email Gateway (Feb 21 2025 at 09:03):From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
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://europroofnet.github.io/wg5-edinburgh25/>
that will take place in Edinburgh, 7-9 April 2023.
We have a strong program
<https://easychair.org/smart-program/EuroProofNet-WG5/index.html>, 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
Last updated: Mar 09 2025 at 12:28 UTC