I am honored to serve on the Program Committee of the first Edition of Formal Methods cross Spatial Logics, a new workshop of the International Symposium on Formal Methods (FM 2024).