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], , , , , and : 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, . [bibtex] [url] [doi]
2024
[4], , , , , and : 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, . [bibtex] [doi]
[3], , , , and : 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, . [bibtex] [doi]
2023
[2], , , , and : 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, . [bibtex] [doi]
2020
[1] and : 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, . [bibtex] [pdf]

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