Events

Theory Talks

Centre for Fundamental Computer Science 

Date: 4 October 2024   Time: 15:00 - 17:00

Location: Peter Landin 4.24

A sequence of introductory talks
Paulo Oliva: a short talk on extracting convergence rate from fixpoints' proofs.
Fredrik Dahlqvist: a short talk on the area of probabilistic programming and problems in the area.
Przemyslaw Walega: a short introductory talk on the area of graph neuronal networks and problems in the area.

The seminar will be followed by a social event at which all are welcome.

Updated by: Edmund Robinson