Kick-off of the Doctoral College on Automated Reasoning
Saturday, Nov 1, 2025The kick-off event for the FWF-funded doctoral college on Automated Reasoning is taking place on the 10th of November, at TU Wien’s Festsaal. Those interested in the programme are welcome to attend from 9:00. See more details about the kick-off here.