colloquia'26 Adi Shamir Weizmann Institute of Science will talk about his personal take on mathematics and machine learning Date: 16 Feb, 14:00 CET Click here for abstract and +info. Carlos Simpson CNRS will talk about the interaction between proof assistants and reinforcement learning Date: March Click here for abstract and +info. Charles Fefferman Princeton University will talk about 'Personal encounters with machine learning' Date: 27 Apr, 15:00 CET Click here for abstract and +info.
