Dear Thedu community members,
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.ahrens@cs.bham.ac.uk)
and the club of users in education will be led by Julien Narboux (narboux@unistra.fr)
Best regards,
Julien Narboux
---//---
CADGME 2020, The 8th Conference on Computer Algebra and Dynamic Geometry in Mathematics Education, Jerusalem, June 21st -25th , 2020.
IJCAR 2020, International Joint Conference on Automated Reasoning, Paris, France, 29th June - 2nd July 2020.
ECM 2020, 8th European Congress of Mathematics, Portoroz, Slovenia, 5 - 11 July 2020.
ADG 2020, 13th International Workshop on Automated Deduction in Geometry, Hagenberg, Austria, 13-15 July, 2020.
8IMM, 8th Iberian Mathematical Meeting, Institute of Mathematics of the University of Seville, 7-9 October 2020.
---//---
--
At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia
Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
P-3001-454 COIMBRA, PORTUGAL
Elec. mail: pedro@mat.uc.pt
webpage: http://www.mat.uc.pt/~pedro/
phone: +351 239 791 137; fax: +351 239 832 568
