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 Joao Marcos <botoc...@gmail.com> wrote: > 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 > . > -- 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 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- 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/CAHQVs%2BVZF7MGr9%2BO1LBsoCX0fqPHtcNRUPmnw0gQZqRd8KYQOA%40mail.gmail.com.
