Jonas Forster

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
[5]	Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König and Karla Messing: Quantitative Graded Semantics and Spectra of Behavioural Metrics, In Jörg Endrullis, Sylvain Schmitz, eds.: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, LIPIcs, vol. 326, pp. 33:1–33:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [bibtex] [url] [doi]
2024
[4]	Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder and Paul Wild: Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach, In Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, eds.: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, LIPIcs, vol. 289, pp. 10:1–10:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [bibtex] [doi]
[3]	Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke and Karla Messing: Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras, In Barbara König, Henning Urbat, eds.: Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings, Lecture Notes in Computer Science, vol. 14617, pp. 114–134, Springer, 2024. [bibtex] [doi]
2023
[2]	Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: Quantitative Hennessy-Milner Theorems via Notions of Density, In Bartek Klin, Elaine Pimentel, eds.: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland, LIPIcs, vol. 252, pp. 22:1–22:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [bibtex] [doi]
2020
[1]	Jonas Forster and Lutz Schröder: Non-Iterative Modal Logics Are Coalgebraic, In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, eds.: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020, pp. 229–248, College Publications, 2020. [bibtex] [pdf]

Upcoming Scientific Talks

1. Conformance Games for Graded Semantics. LICS 2025, Singapore, Singapore, June 2025
2. Conformance Games for Graded Semantics. ACT 2025, Gainesville, United States, June 2025

Past Scientific Talks

1. Quantitative Graded Semantics and Spectra of Behavioural Metrics. CSL 2025, Amsterdam, Netherlands, February 2025
2. Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS 2024, Luxembourg City, Luxembourg, April 2024
3. Non-Iterative Modal Logics Are Coalgebraic. AiML 2020, Online, August 2020