diff --git a/_data/seminar.yml b/_data/seminar.yml index e9bd2d7d0fb338f3b12b4791b64c557c47047875..c34081ce0a02dd1cebfe8ae97d3052dc7efbc63f 100644 --- a/_data/seminar.yml +++ b/_data/seminar.yml @@ -38,11 +38,9 @@ [1] T. Colcombet, S. v. Gool, R. Morvan, "First-order separation over countable ordinals", Foundations of software science and computation - structures (FoSSaCS), 2022. - + structures (FoSSaCS), 2022.\ [2] M. Gehrke and S. v. Gool, Topological Duality for Distributive - Lattices: Theory and Applications, Cambridge University Press, 296pp. 2024. - + Lattices: Theory and Applications, Cambridge University Press, 296pp. 2024.\ [3] S. v. Gool, P.-A. Melliès and V. Moreau, Profinite lambda-terms and parametricity, Mathematical Foundations of Programming Semantics (MFPS), 2023.