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