FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Jens Oliver Gutsfeld
Affiliation: Westfälische Wilhelms-Universität Münster (WWU)
Web page: https://www.uni-muenster.de/Informatik.AGMueller-Olm/en/people/gutsfeld/index.shtml
Pages in this Program
LICS on Tuesday, August 2nd
LICS Program
Program
Program for Tuesday, August 2nd