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
_______________________________________________ clean-list mailing list [email protected] https://mailman.science.ru.nl/mailman/listinfo/clean-list
