Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives