Subject: Workshop on "computational interpretations of proofs"
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-11-17 09:34:44 GMT (24 weeks, 6 days, 12 hours and 13 minutes ago)
Dear Frogs, A workshop on "computational interpretations of proofs" will take place in Paris, November 29-30. http://www.pps.jussieu.fr/~cip/cip.html The workshop is open to everyone interested. If you intend to give a talk or simply participate, please let us know by sending an email to cip@... The list of talks will be announced soon. Best wishes Michel