cglseminar.github.io - Computation, Geometry, Logic seminar | Putting the oof in proof

Description: Putting the oof in proof

Example domain paragraphs

A mad day’s work in theoretical computer science, mathematical logic, algebraic geometry and statistical learning theory.

The seminar takes place on every second Thursday (see below for the schedule) at 11am-12pm Melbourne time. If we’re not in lockdown the venue will be the Russell Love room of Peter Hall at the University of Melbourne. The seminars will be streamed live via Zoom unless advertised otherwise in the schedule below, and questions can be directed to the speaker, via a moderator, via Zoom chat. In between seminars discussions and announcements take place on the Rising Sea Discord . Talks will be recorded and poste

Co-organised by Will Troiani and Daniel Murfet .