Article View: comp.specification
Article #82Re: Survey: Formal Methods in Education
From: Francois Charlot
Date: Thu, 13 Aug 1992 08:03
Date: Thu, 13 Aug 1992 08:03
29 lines
1820 bytes
1820 bytes
Fine! It sounds interesting. But I tried to send a request to : info-server@seg.npl.co.uk and my mailer Daemon didn't like it !! ----- Transcript of session follows ----- 550 seg.npl.co.uk (smtp)... 550 Host unknown 554 <info-server@seg.npl.co.uk>... 550 Host unknown (Valid name but no data [address]) What can I do ? -- +--------------------------+------------------------------------+ | | E-mail : charlot@lri.lri.fr | | Francois CHARLOT | charlot@FRLRI61.BITNET | | | | | +-=-+-=-+ | Tel : 33 - 1 - 69 41 70 82 | | | Fax : 33 - 1 - 69 41 65 86 | +--------------------------+------------------------------------+ | ###### ** | | ## # Laboratoire de Recherche en Informatique | | ## # ## Batiment 490 | | ## # ## Universite de Paris-Sud | | ## #### ## 91405 ORSAY CEDEX | | ###### ## ## FRANCE | |###### ### | +---------------------------------------------------------------+
Technical Details
Message-ID:
<1992Aug13.100324@sun3.lri.fr>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!lri!sun3!charlotReferences:
<1992Aug10.162151.12297@seg.npl.co.uk>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!lri!sun3!charlot From: charlot@sun3.lri.fr (Francois Charlot) Newsgroups: comp.specification Subject: Re: Survey: Formal Methods in Education Message-ID: <1992Aug13.100324@sun3.lri.fr> Date: 13 Aug 92 08:03:24 GMT References: <1992Aug10.162151.12297@seg.npl.co.uk> Sender: news@lri.fr Reply-To: charlot@sun3.lri.fr (Francois Charlot) Organization: LRI - Univ. Paris-Sud / CNRS URA 410 Lines: 29 Nntp-Posting-Host: sun3