ECMFA 2023
Thu 20 - Fri 21 July 2023
Leicester, United Kingdom
co-located with
STAF 2023
Toggle navigation
Attending
Venue: College Court, Leicester, UK
STAF 2023
Cultural Activities
Instructions for Presenters, Participants, and Chairs
Registration
Social Events
Program
ECMFA Program
Your Program
Thu 20 Jul
Fri 21 Jul
Tracks
ECMFA 2023
Technical Track
STAF 2023
Keynotes
Organization
ECMFA 2023 Committees
Steering Committee
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
ECMFA 2025
ECMFA 2024
ECMFA 2023
Sign in
Sign up
STAF 2023
(
series
) /
ECMFA 2023
(
series
) /
Barbara König
STAF 2023 profile
conf.research.org general profile
ETAPS 2019 profile
POPL 2019 profile
STAF 2024 profile
STAF 2025 profile
Registered user since Tue 29 Jan 2019
Name:
Barbara König
Affiliation:
University of Duisburg-Essen
Contributions
2023
ICGT
Committee Member in Program Committee within the Research Papers-track
A Monoidal View on Fixpoint Checks
Steering Committee Member in Steering Committee
GCM
PC Member in Program Committee within the GCM 2023-track
Show activities from other conferences
Share
STAF 2023-profile
View general profile
x
Wed 18 Dec 23:20