Solving Mathematical Challenges with Symbolic AI Speaker: Marijn Heule, Carnegie Mellon University Date & Time: Tuesday, 11 March 2025 10:30-12:00 AM Location: HG-00C29 (Aurora), Hoofdgebouw VU, De Boelelaan 1105, Amsterdam About the Speaker Marijn J.H. Heule is a computer scientist specializing in automated reasoning, … Continue reading

