Workshop on Formal Topology — Trixtu – Trixtu