Synergy of Theorem Proving and Machine Learning

On Tuesday December 5, 2023, at 10:30, Bartosz Piotrowski will defend his PhD Synergy of Machine Learning and Automated Reasoning
At the occasion of this event we will have a small seminar the day after, on Wednesday December 6.
You are cordially invited to attend both or either the defense and the seminar. (No need to register.)