coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Christine Paulin <paulin AT lri.fr>
- To: coq-club AT pauillac.inria.fr
- Subject: Coq users meeting at FM'99
- Date: Fri, 4 Jun 1999 10:26:14 +0200 (MEST)
Dear Coq users,
On friday sept 24th there will be a Coq's users meeting at the
conference FM'99 in Toulouse.
If you are interested in presenting your developments in Coq, please send me
an
e-mail with a title and a short abstract.
Christine Paulin.
--
Christine Paulin-Mohring mailto :
Christine.Paulin AT lri.fr
LRI, URA 410 CNRS, Bat 490, Université Paris Sud, 91405 ORSAY Cedex
LRI tel : (+33) (0)1 69 15 66 35 fax : (+33) (0)1 69 15 65 86
INRIA tel : (+33) (0)1 39 63 54 60 fax : (+33) (0)1 39 63 56 84
Tatoo tel : 06 04 24 44 75
- Coq users meeting at FM'99, Christine Paulin
Archive powered by MhonArc 2.6.16.