Repassando... ****** We are pleased to point you to the web page
http://ihp2014.pps.univ-paris-diderot.fr/ of the IHP trimester ** Semantics of proofs and certified mathematics ** which will be held in Paris from April 7 to July 11, 2014 (cf. previous pre-announcement on this forum). The webpage encourages potential participants to pre-register, so as to be kept informed of the progression of the organisation of this event, and in order to help the organisers in the advance planning of the trimester. Registration will be open some time during next spring. Best regards, The organisers (Pierre-Louis Curien, Hugo Herbelin, Paul-André Melliès) ****** -- Elaine. ------------------------------------------------- Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone: 55 31 3409-5970/3409-5994 Fax: 55 31 3409-5692 htps://sites.google.com/site/elainepimentel/ -------------------------------------------------------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
