Created in April 17, 2026
2026
I attended 7th Workshop on Formal Topology, Venice (Italy), 13-17 April 2026.