1s 2023 - Introdução ao Coq

Olá, pessoas! Estamos de volta. Esse semestre retomaremos as atividades com um grupo de leitura do volume ``Logical Foundations´´ da série de livros Software Foundations. O grupo funcionará como uma Introdução ao Coq (provador interativo).

No primeiro encontro faremos a leitura do primeiro capítulo ``Basics: Functional Programming in Coq´´, em anexo. A leitura prévia é recomendada, mas não obrigatória. Algo importante é que apesar do livro estar em inglês, faremos a discussão e tudo mais em português.

Vocês podem encontrar o volume completo neste link. Quem estará guiando o grupo nesse semestre são os alunos de Doutorado do CLE, Renato Leme e Alan René.  

Terá também transmissão online, basta preencher este formulário e enviaremos o link!  

Dia: todas sextas 

Horário: 10h