Skip to content
Skip to content
Current students
Current staff
University of St Andrews
School of Computer Science
Navigation
People
Prospective students
About
Research
Events
News
Section navigation
Distinguished Lecture Series
School of Computer Science
Events
Upcoming events
Combinatorial Problem Solving with SAT: The Art of Encoding
Date
Friday 18 September 2026
Time
11:00 am to 12:00 pm
Location
Jack Cole Building