FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Felix Weitkämper
Affiliation: ludwigs-maximilians-Universität München
Web page: https://www.pms.ifi.lmu.de/mitarbeiter/derzeitige/felix-weitkaemper/index.html
Pages in this Program
PLP on Monday, August 1st
PLP Program
Program
Program for Monday, August 1st