Workshop on "computational interpretations of proofs"

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-klhGwnj84BVaYsKGlXaXRA@xxxxxxxxxxxxxxxx

The list of talks will be announced soon.


Best wishes

Michel