Events
Theory Talks
Centre for Fundamental Computer ScienceDate: 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