Hi Everyone, I'd like to quickly advertise the Conference on Artificial Intelligence and Theorem Proving (AITP) in Aussois, France. It will be held from 13-18 September. Due to covid many people have canceled their physical attendance, and quite a few new spots have opened up. Since it is held in France, this might be a good opportunity for an informal Machine Learning for Coq developer meeting. If anyone is interested, contact me or Josef Urban soon (the deadline to book people at the conference center is approaching soon).
Last updated: Dec 07 2023 at 17:01 UTC