-
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
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 escreveu:
> -
>
> Dear ALL:
>
> Gilles Dowek is coordinating
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 é
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:
https://sites.google.com/view/logicatnatal/home
Logo logo começaremos a divulgar o evento.
A+,
On Thu, Feb 27, 2020 at 2:41 PM J
