Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 02 de julho de 2020 (quinta-feira) Horário: 16:00h Apresentador: Prof. Gilles Dowek (LSV, CNRS & ENS Paris-Saclay) Título: Logipedia: towards a Wikipedia of formal proofs Resumo: Formal computerized proofs are now a central tool in computer science and in mathematics. But, each system – Coq, HOL Light, Isabelle/HOL,PVS... – implements its own language and its own theory, limiting the interoperability between systems and the sustainability of these proofs. Logipedia is an, in progress, encyclopedia of formal proofs, expressed in various theories. It is based on the idea to express these theories in a new logical framework allowing bound variables, explicit proof-terms, computation rules, and peaceful co-existence of constructive and non constructive proofs. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/bcn-yfqx-ruz . Caso você deseje contribuir com uma apresentação, por favor preencha o formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 . -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq096eusC6q7enoa3tnXPb74BDZMLMKaAKt2xsfQ7Y769xw%40mail.gmail.com.
