FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Patrick Koopmann
Affiliation: TU Dresden
Web page: https://lat.inf.tu-dresden.de/~koopmann/
Pages in this Program
Accepted Papers
DL 2022 on Monday, August 8th
DL 2022 on Sunday, August 7th
DL 2022 on Tuesday, August 9th
DL 2022 on Wednesday, August 10th
DL 2022 Program
IJCAR 2022 on Monday, August 8th
IJCAR 2022 on Wednesday, August 10th
IJCAR 2022 Program
Program
Program for Monday, August 8th
Program for Sunday, August 7th
Program for Sunday, July 31st
Program for Tuesday, August 9th
Program for Wednesday, August 10th
XLoKR 2022 on Sunday, July 31st
XLoKR 2022 Program