FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Cynthia Kop
Affiliation: Radboud University
Web page: https://www.cs.ru.nl/~cynthiakop/
Pages in this Program
All Proceedings Papers
FSCD on Tuesday, August 2nd
FSCD Program
IFIP-WG1.6 on Sunday, July 31st
IFIP-WG1.6 Program
Paper: A transitive HORPO for curried systems
Paper: Tuple Interpretations and Applications to Higher-Order Runtime Complexity
PERR on Thursday, August 11th
PERR Program
Program
Program for Friday, August 12th
Program for Sunday, July 31st
Program for Thursday, August 11th
Program for Tuesday, August 2nd
Slides
Slides
WPTE on Sunday, July 31st
WPTE Program
WST on Friday, August 12th
WST on Thursday, August 11th
WST Program
WST22 Program papers
WST22 Program papers: Papers with Abstracts