Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School at University of St Andrews aims to bring a select group of students up to speed quickly in this exciting ... Read more
The SICSA Data Analytics Conference & Sandpit will provide an opportunity for students and academics from across Scotland to showcase their research, and for industry professionals to collaborate with academic experts to design innovative solutions for data problems in their businesses through a series of sandpit sessions on the day. Find out more and register
UKCI 2025 (The 24th UK Workshop on Computational Intelligence) will be held in Edinburgh from the 3rd-5th September 2025 at Edinburgh Napier University. The last day to register is the 31st July. We are particularly delighted to welcome this workshop back to Edinburgh – the 1st edition was held at the University of Edinburgh in ... Read more