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: FM'99 Coq User Group Meeting
- Date: Fri, 30 Jul 1999 17:24:05 +0200 (MEST)
As announced before, there will be a Coq User Group meeting during
FM'99 in Toulouse on September 24, Friday.
More information on this meeting can be found at the URL
http://www.lri.fr/~paulin/FM99
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
- FM'99 Coq User Group Meeting, Christine Paulin
Archive powered by MhonArc 2.6.16.