LC 2017: LOGIC COLLOQUIUM 2017
Mario Benevides
Organization: Programa de Engenharia de Sistemas e Computação COPPE/Sistemas; Departamento de Ciência da Computação DCC / Instituto de Matemática IM; Universidade Federal do Rio de Janeiro UFRJ
Web page: http://www.cos.ufrj.br/~mario/
Pages in this Program
Program
Program for Tuesday, August 15th