Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Barbara König
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
STAF 2023 profile
STAF 2024 profile
STAF 2025 profile
Registered user since Tue 29 Jan 2019
Name:
Barbara König
Affiliation:
University of Duisburg-Essen
Contributions
2025
ICGT
Steering Committee Member in Steering Committee
2024
ICGT
PC Member in Program Committee
Steering Committee Member in Steering Committee
2023
ICGT
Committee Member in Program Committee within the Research Papers-track
Author of A Monoidal View on Fixpoint Checks within the Research Papers-track
Steering Committee Member in Steering Committee
GCM
PC Member in Program Committee within the GCM 2023-track
2019
ETAPS
Author of ETAPS Steering committee meeting within the Social-track
FOSSACS
Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track
POPL
Author of Fixpoint Games on Continuous Lattices within the Research Papers-track
OPCT
Session Chair of Algebra, Coalgebra, Model Checking (part of OPCT 2019)
Share
x
Mon 18 Nov 09:18
