conf.researchr.org / Lutz Schröder

Registered user since Mon 19 Dec 2022

Name:Lutz Schröder
Country:Germany
Affiliation:University of Erlangen-Nuremberg
Personal website:https://www8.cs.fau.de/people/schroeder/
Research interests:Logic in Computer Science, Formal Methods, Programming Semantics, Knowledge Represetation

Contributions

POPL 2023 Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track
FOSSACS 2019 Author of Optimal Satisfiability Checking for Arithmetic mu-Calculi within the FOSSACS 2019-track
GaLoP 2019 Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track
HOPE 2018 Author of A Metalanguage for Guarded Iteration within the HOPE 2018-track