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 <https://www.typetheoryforall.com/>. *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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMnPOrosrfJnf8HrFw3-b25oB5OTBiYtz%3DtTZRiiLX4oeyWtjg%40mail.gmail.com.