Hubie Chen (Birkbeck, University of London)

This will be a swashbuckling adventure through the jungles of complexity. Animals such as SAT, CSP, and their quantified variants will be encountered and, sometimes, tamed. Seatbelts are advised; this full-throttle journey may veer into proof complexity territory before its finale.