coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] IFIP WG2.3 Summer School On "Formal Models of Software", Call for participation

From: "Riadh ROBBANA" <riadh.robbana AT fst.rnu.tn>
To: "Riadh Robbana" <riadh.robbana AT fst.rnu.tn>
Subject: [Coq-Club] IFIP WG2.3 Summer School On "Formal Models of Software", Call for participation
Date: Sun, 18 May 2003 12:27:58 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Apologies for multiple copies received

Please find enclosed the call for participation to the IFIP WG2.3 Summer
School On "Formal Models of Software" that will be held at the Ecole
Polytechnique of Tunisia during the period August 31 - September 6, 2003
.
http://www.cck.rnu.tn/ecole-IFIPWG23/

Best regards,
Riadh Robbana

Attachment: IFIP_WG23_School03.pdf
Description: Adobe PDF document

[Coq-Club] IFIP WG2.3 Summer School On "Formal Models of Software", Call for participation, Riadh ROBBANA