Please join us for an in-person event entitled ‘Symbolic reasoning’ on Wednesday 29 October 2025 between 1:30pm and 3pm. To help monitor attendance, please register using the link below. This event is open to all members of the community at the University of St Andrews. Speaker: Dr Ruth Hoffman, School of Computer Science, University of St … AI Seminar – Symbolic reasoning with Dr Ruth Hoffmann Wednesday 29 October
We have another exciting AI seminar coming up on Wednesday 27th November at 1pm. This time our speaker is an alumnus! When? 27/11/24, 1pm Where? JCB 1.33B Who? Lars Kotthoff Lars Kotthoff is the Templeton Associate Professor of Computer Science, Founding Adjunct Faculty at the School of Computing, and a Presidential Faculty Fellow at the … AI Seminar Wednesday 27th November – Lars Kotthoff
The School is hosting an AI seminar on Tuesday 19th November at 11am in JCB1.33A/B Our speaker is Francesco Leofante from Imperial College London. Title: Robustness issues in algorithmic recourse. Abstract: Counterfactual explanations (CEs) are advocated as being ideally suited to providing algorithmic recourse for subjects affected by the predictions of machine learning models. While … AI Seminar Tuesday 19th November – Francesco Leofante
The School is hosting an AI seminar on Friday 18th October at 11.30am in JCB1.33A! Our speaker is Leonardo Bezerra from the University of Stirling. FAIRTECH by design: assessing and addressing the social impacts of artificial intelligence systems In a decade, social media and big data have transformed society and enabled groundbreaking artificial intelligence (AI) … AI Seminar Friday 18th October – Leonardo Bezerra
The AI seminar on 7th Dec 2023 will feature Prof Simon Dobson who will be talking about “Some stuff about sheaves”. The seminar will be at 11am in JCB1.33a. If you would like to join online, please email rh347@st-andrews.ac.uk for a link to the call.
Can a user write a good MIP model without understanding linearization? Modelling languages such as AMPL and AIMMS are being extended to support more features, with the goal of making MIP modelling easier. A big step is the incorporation of predicates, such a “cycle” which encapsulate MIP sub-models. This talk explores the impact of such predicates … MIP Modelling Made Manageable
CUHK + UniMelb = Fable-based Learning + A Tale of Two Cities Prof Jimmy Lee, Chinese University of Hong Kong This talk reports on the pedagogical innovation and experience of a joint venture by The Chinese University of Hong Kong (CUHK) and the University of Melbourne (UniMelb) in the development of MOOCs on the computer … Fable-based Learning: Seminar by Prof Jimmy Lee
Professor Mateu Villaret, from Universitat de Girona is a visiting scholar with the AI group from July 1st until September 30th. Professor Villaret works on algorithms for routing and scheduling with the AI group at St Andrews. As well as solving practical problems, he also enjoys puzzle games. That is the basis of this talk, … Seminar: SMT, Planning and Snowmen
The speaker is Lars Kotthoff, previously a PhD student here, now and Assistant Professor at the University of Wyoming. All welcome. Often, there is more than one way to solve a problem. It could be a different parameter setting, a different piece of software, or an entirely different approach. Choosing the best way is … Seminar: AI-augmented algorithms — how I learned to stop worrying and love choice
Jacob Howe, City University, London Abstract: This talk will recap how a watched literal DPLL based SAT solver can be succinctly coded in 20 lines of Prolog. The focus of the talk will be the extension of this solver to an SMT solver which will be discussed with a particular focus on the case where the … Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)