coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MSFP deadline extension

From: Venanzio Capretta <venanzio AT cs.ru.nl>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] MSFP deadline extension
Date: Wed, 09 Apr 2008 08:44:21 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

We are glad to announce that the deadline for the workshop
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
has been extended by a week:

Submission of abstracts: 11 April
Submission of papers: 18 April

Information about the workshop and the submission procedure can be found
at: http://msfp.org.uk/

Venanzio Capretta
Conor McBride

[Coq-Club] MSFP deadline extension, Venanzio Capretta