FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Vu Phan
Organization: Rice University
Web page: https://vuphan314.github.io/
Pages in this Program
ASPOCP on Wednesday, July 18th
ASPOCP Program
Program
Program for Wednesday, July 18th
Slides
Slides
Bio

Rice University CS PhD student advised by Prof. Moshe Vardi