Workshopul Theorem Proving and Machine Learning in the Age of LLMs: SoA and Future Perspectives va avea loc la Edinburgh, Scoția, Marea Britanie, în perioada 7-8 aprilie 2025.
Workshopul este organizat de:
Ekaterina Komendantskaya, Elizabeth Polgreen, Christian Saemann, Kathrin Stark și Michael Rawson,
și este susținut de Cost Action CA20111 – European Research Network on Formal Proofs.
Mai multe detalii sunt disponibile la adresa:
https://europroofnet.github.io/wg5-edinburgh25/
Pentru informații suplimentare, vă rugăm să o contactați pe Kathrin Stark la:
k.stark@hw.ac.uk