Workshop on Formal Topology (6WFTop): registration now open