These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines ILLC News
Headlines ILLC Events this week
PhD Position on Machine Learning for Automated ReasoningDeadline: Monday 11 March 2024Are you interested to work, in an interdisciplinary research setting, on topics at the intersection of logic, machine learning and automated reasoning? The Institute for Logic, Language and Computation (ILLC) is looking for a talented PhD candidate. Your research will be part of the Theoretical Computer Science unit of the ILLC, and will concern use of machine learning for automated reasoning (such as mathematical theorem proving and/or declarative constraint-based reasoning).For more information, see here or at https://vacatures.uva.nl/UvA/job/PhD-Position-on-Machine-Learning-for-Automated-Reasoning/787287002/ or contact Balder ten Cate at b.d.tencate at uva.nl.