These are slow informal blackboard talks, given by members of the Theory group. We try to have them bi-weekly.

Date, Time, Place: 7th of April 2015, from 12.00 to 1.00 pm, in CS 430

Speaker: Esma Balkir

Title: Density matrices for reasoning about natural language meaning

Date, Time, Place: 30th of April 2015, from 12.00 to 1.00 pm, in Paulo’s Office

Speaker: Julian Hedges

Title: String diagrams for game theory

Date, Time, Place: 19th of May 2015, from 12.00 to 1.00 pm, in Paulo’s Office

Speaker: Rob Arthan

Title: The Decision Problem for Metric, Hilbert and Banach Spaces