Lutz Schröder -

Registered user since Mon 19 Dec 2022

Name:Lutz Schröder

Country:Germany

Affiliation:Friedrich-Alexander University Erlangen-Nürnberg

Personal website: https://www8.cs.fau.de/people/schroeder/

Research interests:Logic in Computer Science, Formal Methods, Programming Semantics, Knowledge Represetation

Contributions

2025

ICFP

Author of Bialgebraic Reasoning on Stateful Languages within the ICFP Papers-track

2024

VMCAI

Author of Generic Model Checking for Modal Fixpoint Logics in COOL-MC within the VMCAI 2024-track

2023

ICSE

Author of Generic Partition Refinement and Weighted Tree Automata within the Showcase-track

POPL

Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track

2019

FOSSACS

Author of Optimal Satisfiability Checking for Arithmetic mu-Calculi within the FOSSACS 2019-track

GaLoP

Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track

2018

HOPE

Author of A Metalanguage for Guarded Iteration within the HOPE 2018-track