WG5 meeting: Machine Learning for Theorem Proving
- Dates: 5–8 September 2022
- Location: CNRS Paul-Langevin Conference Center, Aussois, France.
The workshop will bring together researchers on the topics of working group 5, to share recent results, and co-ordinate future research, including collaboration towards deliverables.
Organiser: Cezary Kaliszyk
Participants: 54 on site
Registration, talk submission, funding application
The meeting will be coorganized together with the http://aitp-conference.org/2022/ conference, and registration as well as information about funding is provided on that page.