2023 JNU/KAIST/SNU Geometry & Topology Workshop (4th)