Ciao-users February 2025

ciao-users@cliplab.org

1 participants
1 discussions

Workshop on GenAI for Theorem Proving, Edinburgh 7-9 April 2025
by Ekaterina Komendantskaya 21 Feb '25

21 Feb '25

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

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users February 2025