Project-related events

• "Proof, Computation and Meaning", a series of three online events, to be held in September and December 2022. Co-organizer: Paolo Pistone (Bologna). [These events were originally planned as a workshop to be held in Tübingen in February 2020, which had to be be cancelled due to the Coronavirus outbreak (for more information, see the original workshop website)]