Obrigado por complementar o anúncio, Bruno! * * *
Também ligado a este tema, vale recordar que o Gilles será invited speaker do 9th International Workshop on Theorem Prover Components for Educational Software https://www.uc.pt/en/congressos/thedu/thedu20 O deadline para submissão de trabalhos é 12 de abril. O evento ocorrerá junto com o IJCAR, em Paris, no final de junho. * * * Vale notar que o Narboux está organizando, em conjunto com o nosso evento, uma sessão especial intitulada "Edukera: previous experiments, and future project". Talvez alguns dos colegas desta lista tenha interesse em experimentar com o Edukera? Teach Logic and Math with a proof assistant https://www.edukera.com/ * * * []s, Joao Marcos On Thu, Feb 27, 2020 at 2:31 PM Bruno Lopes <blopesvie...@gmail.com> wrote: > > 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 <botoc...@gmail.com> 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 >> (b.ahr...@cs.bham.ac.uk) and the club of users in education will be >> led by Julien Narboux (narb...@unistra.fr) >> >> 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 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/CAO6j_LgFqVCLfSi5%2BLRfnkGPvFLvwCp9Bpkumkvvg0pEEnJBJA%40mail.gmail.com. > > -- > Você recebeu essa mensagem porque está inscrito 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 essa 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. -- http://sequiturquodlibet.googlepages.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 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/CAO6j_LjHvg6LraEBz%2BJq4vUgsr3m53-%3DMGeNYEprYMp9FXzveQ%40mail.gmail.com.
