[convite] Palestra sobre Generalized Algebraic Datatypes de OCaml para Coq

[Daniele Nantes]

Prezados colegas,

gostaria de convidá-lo a assistir a  

Traduzindo Generalized Algebraic Datatypes (GADTs) de OCaml para Coq,

que será ministrada  por Pedro Abreu (Purdue University), e organizada pelos grupos de teoria da computação da Universidade de Brasília e Universidade Federal de Goiás (GTC-UnB+EFFA-UFG). 

O Pedro é host do podcast Type Theory for All.

Informações Importantes:

Data: 15/10

Horário: 10:00

Mais informações e link zoom:

 https://sites.google.com/view/gtc-unb/calendar-2021

--

Daniele Nantes

Grupo de Teoria da Computação

Departamentos de Matemática e Computação

Universidade de Brasília

www.mat.unb.br/~dnantes