Fwd: Logipedia - an online encyclopedia of formal proofs
4 views
Skip to first unread message
Joao Marcos
Feb 27, 2020, 3:00:42 PM2/27/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
-------------
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.ah...@cs.bham.ac.uk) and the club of users in education will be
led by Julien Narboux (nar...@unistra.fr)
Best regards,
Julien Narboux
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.ah...@cs.bham.ac.uk) and the club of users in education will be
led by Julien Narboux (nar...@unistra.fr)
Best regards,
Julien Narboux
Bruno Lopes
Feb 27, 2020, 5:31:39 PM2/27/20
to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
--
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+u...@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.
Joao Marcos
Feb 27, 2020, 5:41:37 PM2/27/20
to Bruno Lopes, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
--
http://sequiturquodlibet.googlepages.com/
* * *
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
> 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+u...@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/
Elaine Pimentel
Feb 27, 2020, 5:49:40 PM2/27/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Aproveitando a oportunidade: Gilles também virá a Natal para a escola do CIMPA: Logic@Natal, que ocorrerá em dezembro de 9 a 18 :)
A página ainda está em construção:
Logo logo começaremos a divulgar o evento.
A+,
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.
Elaine.
-------------------------------------------------
Elaine Pimentel - DMAT/UFRN
Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN
Phone: +55 84 3215-3820
--------------------------------------------------------
Reply all
Reply to author
Forward
0 new messages