Uma versão preliminar já está online em http://logipedia.inria.fr/ . Gilles apresentou o projeto no encontro Franco-Brasileiro de pesquisa em matemática no IMPA em julho.
Bruno Em qui, 27 de fev de 2020 12:00, Joao Marcos <[email protected]> escreveu: > ------------- > > Dear ALL: > > Gilles Dowek is coordinating the submission of a European project (25 > participating sites) aiming at creating an online encyclopedia of > formal proofs (named Logipedia) allowing the exchange of formal proofs > between different systems. In this framework, we are setting up a > "Club of users in education" and a "Club of academic users" interested > in Logipedia. The first one is a think tank on the use of proof > assistants in the classroom. The second brings together researchers > who would be potential users of such an encyclopedia in their > research. > > In both cases, the requested investment is light: participation (as > far as possible) in two meetings over the 4 years of the project > (expression of needs and evaluation of results), and participation in > the dissemination / training around the project in your circles > (mathematicians, university or secondary school teachers, ...). > > Would you be interested to be part of either of these two clubs? The > academic users' club will be led by Benedikt Ahrens > ([email protected]) and the club of users in education will be > led by Julien Narboux ([email protected]) > > Best regards, > Julien Narboux > > -- > 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/CAO6j_LgFqVCLfSi5%2BLRfnkGPvFLvwCp9Bpkumkvvg0pEEnJBJA%40mail.gmail.com > . > -- 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/CAFfvUVjTBg1UpZ%2BxE%2B0rGDSV-phoZoAnn5pN21-O091Rbgkh3g%40mail.gmail.com.
