Workshop· Manchester
Logic Seminar - Paul Levy
This event is a logic seminar featuring a talk by Paul Levy, a researcher known for his work in theoretical computer science, particularly game semantics, call-by-push-value, and the semantics of programming languages. The seminar likely presents his recent research on the mathematical foundations of computation and logic to an academic audience.