home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / specific / 368 < prev    next >
Encoding:
Internet Message Format  |  1992-08-13  |  1.7 KB
  1. Path: sparky!uunet!mcsun!corton!lri!sun3!charlot
  2. From: charlot@sun3.lri.fr (Francois Charlot)
  3. Newsgroups: comp.specification
  4. Subject: Re: Survey: Formal Methods in Education
  5. Message-ID: <1992Aug13.100324@sun3.lri.fr>
  6. Date: 13 Aug 92 08:03:24 GMT
  7. References: <1992Aug10.162151.12297@seg.npl.co.uk>
  8. Sender: news@lri.fr
  9. Reply-To: charlot@sun3.lri.fr (Francois Charlot)
  10. Organization: LRI - Univ. Paris-Sud / CNRS URA 410
  11. Lines: 29
  12. Nntp-Posting-Host: sun3
  13.  
  14. Fine! It sounds interesting. But I tried to send a request to :
  15.  
  16.         info-server@seg.npl.co.uk
  17.  
  18. and my mailer Daemon didn't like it !!
  19.  
  20.    ----- Transcript of session follows -----
  21. 550 seg.npl.co.uk (smtp)... 550 Host unknown
  22. 554 <info-server@seg.npl.co.uk>... 550 Host unknown (Valid name but no
  23. data [address])
  24.  
  25. What can I do ?
  26.  
  27. -- 
  28. +--------------------------+------------------------------------+
  29. |                          |    E-mail : charlot@lri.lri.fr     |
  30. |     Francois CHARLOT     |             charlot@FRLRI61.BITNET |
  31. |                          |                                    |
  32. |        +-=-+-=-+         |    Tel    : 33 - 1 - 69 41 70 82   |
  33. |                          |    Fax    : 33 - 1 - 69 41 65 86   |
  34. +--------------------------+------------------------------------+
  35. |      ######      **                                           |
  36. |     ##     #         Laboratoire de Recherche en Informatique |
  37. |    ##       #   ##   Batiment 490                             |
  38. |   ##       #   ##    Universite de Paris-Sud                  |
  39. |  ##    ####   ##     91405 ORSAY CEDEX                        |
  40. | ######    ## ##      FRANCE                                   |
  41. |######      ###                                                |
  42. +---------------------------------------------------------------+
  43.