Jonas Forster - Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 logical means.

E-Mail: Jonas.Forster[at]fau.de
Room: Martensstraße 3 Erlangen, 11.130
Phone: +49 9131 85-64054

Publications

See also dblp for more regular updates and preprints.

2025

Forster J., Schröder L., Wild P., Beohar H., Gurke S., König B., Messing K.:
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

Beohar H., Gurke S., König B., Messing K., Forster J., Schröder L., Wild P.:
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
Forster J., Schröder L., Wild P., Beohar H., Gurke S., Messing K.:
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

Forster J., Goncharov S., Hofmann D., Nora P., Schröder L., Wild P.:
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

Forster J., Schröder L.:
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

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