DMAT/UFRN organiza o CADE

CADE é o maior forum mundial para a apresentação de todos os aspectos de pesquisa em dedução automática. O programa científico sempre oferece apresentações de convidados especiais, artigos técnicos selecionados, workshops, tutoriais e competições de sistemas automáticos de dedução e verificação.

A 27a edição do CADE será organizada pela primeira vez na América Latina, de 22 a 30 de agosto de 2019. Esta é uma grande oportunidade para a toda a comunidade acadêmica, em especial para a brasileira, que se encontra em plena ascensão. 

Na página do evento (CADE-27) podem ser conferidas todas as informações sobre datas, submissões e eventos satélite. Participe!

Translate »