------------- 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.
