FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Tobias Friedrich
Organization: Hasso Plattner Institute
Web page: https://hpi.de/friedrich
Pages in this Program
Program
Program for Wednesday, July 11th
SAT on Wednesday, July 11th
SAT Program