Fwd: Women in formal Mathematics

[Joao Marcos]

---------- Forwarded message ---------
From: Valeria de Paiva
Date: Thu, Apr 18, 2024 at 1:55 PM
Subject: [WiL] Women in formal Mathematics
To: <women-i...@lists.rwth-aachen.de>


hi all,
I am very pleased to announce our workshop as part of the Hausdorff
Institute program on Prospects of Formalized mathematics

https://www.mathematics.uni-bonn.de/him/programs/special-events/women-in-formal-math

please help to announce it to others who may be interested!
(and let me know if I've made mistakes!)

thanks for all you do,
Valeria

--
Valeria de Paiva
http://vcvpaiva.github.io/
https://topos.institute/
http://www.cs.bham.ac.uk/~vdp/