Workshop on "computational interpretations of proofs"
"Michel Parigot" <[email protected]> Sat, 17 Nov 2007 10:34:44 +0100
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] The list of talks will be announced soon. Best wishes Michel