FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Marc Denecker
Organization: Katholieke Universiteit Leuven
Web page: https://people.cs.kuleuven.be/~marc.denecker/
Pages in this Program
LPOP on Wednesday, July 18th
LPOP Program
Program
Program for Wednesday, July 18th