FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Marlon Dumas
Organization: University of Tartu
Web page: http://math.ut.ee/~dumas
Pages in this Program
GraMSec on Sunday, July 8th
GraMSec Program
Program
Program for Sunday, July 8th
Slides
Slides