Geometry and Quantum Theory (GQT)

Events

Date: 24 January 2025

Time: 13:00 - 17:00

Location: VU

Url: https://jcommelin.github.io/informal-formalization-seminar/

Informal Formalization Seminar at VU

On Friday 24 January we will have the Informal Formalization Seminar at VU
Amsterdam, between 13:00 and 17:00. Speakers include María Inés de
Frutos-Fernández (University of Bonn) and Andrew Yang (Imperial College
London).