Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives

that will take place in Edinburgh, 7-9 April 2023.

We have a strong program,��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��