FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Maria Vanina Martinez
Organization: Instituto de Ciencias e Ingeniería de la Computación (CONICET - Universidad Nacional del Sur in Bahia Blanca)
Web page: http://cs.uns.edu.ar/~mvm/index.html
Pages in this Program
Program
Program for Thursday, July 19th
PRUV on Thursday, July 19th
PRUV Program
Slides
Slides