O livro Language, Proof and Logic (Linguagem, Prova e Lógica), dos autores Dave Barker-Plummer, Jon Barwise e John Etchemendy, traduzido por Marcel Vinicius Medeiros Oliveira, professor e coordenador dos cursos técnicos do Instituto Metrópole Digital da UFRN, será lançado no dia 12 de dezembro, em São Paulo.

Na mesma oportunidade de lançamento, Dave Barker-Plummer, cientista e pesquisador sênior no CSLI da Universidade de Standford e um dos autores do livro, fará uma palestra sobre "A Importância da Lógica na Educação Formal".

O livro Linguagem, Prova e Lógica também contou com a colaboração de Albert Liu, Michael Murray, Emma Pease, e revisão de Jaime Clasen.

Os interessados em participar do evento poderão se inscrever no link: <https://eventioz.com.br/e/palestra-e-lancamento-livro-linguagem-prova-e-logi>.

Segundo Marcel Oliveira, tradutor do livro, a edição em português brevemente deverá ser lançada também em Natal.

Vinculado ao Departamento de Informática e Matemática Aplicada (DIMAp), Marcel é doutor em Ciência da Computação pela Universidade de York (Reino Unido), colaborador do IMD e membro do ForALL (Formal Methods and Languages Group), grupo de pesquisa ligado ao Programa de pós-graduação em Sistemas e Computação - PPgSC.