About me:
I am a PhD student at the Chair for Theoretical Computer Science under the supervision of Lutz Schröder. My research centres around behavioural distances in coalgebras. I am specifically interested in how equivalences coarser than bisimilarity, like those on the Linear Time-Branching Time Spectrum, generalize to metrics and other sufficiently topological structures. Additionally, I explore tools and techniques for capturing these types of conformances through the methods of formal logic.
E-Mail: Jonas.Forster[at]fau.de
Room: Martensstraße 3 Erlangen, 11.130
Publications
See also dblp for more regular updates and preprints.
2026
- , , , , :
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026 (Turin, 11. April 2026 - 16. April 2026)
In: Nathalie Bertrand, Stefan Milius (Hrsg.): Lecture Notes in Computer Science 2026
DOI: 10.1007/978-3-032-22730-0_30
2025
- , , :
Conformance Games for Graded Semantics
40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025 (Singapore, SGP, 23. Juni 2025 - 26. Juni 2025)
In: Proceedings - Symposium on Logic in Computer Science 2025
DOI: 10.1109/LICS65433.2025.00048 - , , , , , , :
Quantitative Graded Semantics and Spectra of Behavioural Metrics
33rd EACSL Annual Conference on Computer Science Logic, CSL 2025 (Amsterdam, 10. Februar 2025 - 14. Februar 2025)
In: Jorg Endrullis, Sylvain Schmitz (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2025
DOI: 10.4230/LIPIcs.CSL.2025.33
2024
- , , , , , , :
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024 (Clermont-Ferrand, FRA, 12. März 2024 - 14. März 2024)
In: Olaf Beyersdorff, Mamadou Moustapha Kante, Orna Kupferman, Daniel Lokshtanov (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2024
DOI: 10.4230/LIPIcs.STACS.2024.10 - , , , , , :
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024 (Luxembourg City, 6. April 2024 - 7. April 2024)
In: Barbara König, Henning Urbat (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
DOI: 10.1007/978-3-031-66438-0_6
2023
- , , , , , :
Quantitative Hennessy-Milner Theorems via Notions of Density
31st EACSL Annual Conference on Computer Science Logic, CSL 2023 (Warsaw, 13. Februar 2023 - 16. Februar 2023)
In: Bartek Klin, Elaine Pimentel (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CSL.2023.22
2020
- , :
Non-iterative Modal Logics are Coalgebraic
13th Conference on Advances in Modal Logic, AiML 2020 (Virtual, Helsinki, 24. August 2020 - 28. August 2020)
URL: http://www.aiml.net/volumes/volume13/Forster-Schroeder.pdf
Scientific Talks
- Graded Semantics Beyond Equivalence. PUDDLE Seminar, Oxford, United Kingdom, November 2025
- Conformance Games for Graded Semantics. LICS 2025, Singapore, Singapore, June 2025
- Conformance Games for Graded Semantics. ACT 2025, Gainesville, United States, June 2025
- Quantitative Graded Semantics and Spectra of Behavioural Metrics. CSL 2025, Amsterdam, Netherlands, February 2025
- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS 2024, Luxembourg City, Luxembourg, April 2024
- Non-Iterative Modal Logics Are Coalgebraic. AiML 2020, Online, August 2020