home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1693 < prev    next >
Encoding:
Internet Message Format  |  1992-10-11  |  1.3 KB

  1. Xref: sparky sci.logic:1693 sci.math:13029 sci.philosophy.meta:2112 sci.physics:16324 comp.theory:2167
  2. Newsgroups: sci.logic,sci.math,sci.philosophy,sci.philosophy.meta,sci.physics,sci.ai.philosophy,comp.theory
  3. Path: sparky!uunet!email!mips.complang.tuwien.ac.at!rz
  4. From: rz@mips.complang.tuwien.ac.at (Richard Zach)
  5. Subject: Kurt Goedel Society: EMailing List
  6. Message-ID: <1992Oct11.173345.18687@email.tuwien.ac.at>
  7. Followup-To: poster
  8. Sender: news@email.tuwien.ac.at
  9. Nntp-Posting-Host: mips.complang.tuwien.ac.at
  10. Reply-To: zach@csdec1.tuwien.ac.at
  11. Organization: Technische Universit"at Wien
  12. Date: Sun, 11 Oct 1992 17:33:45 GMT
  13. Lines: 18
  14.  
  15.                        KURT GOEDEL SOCIETY
  16.  
  17.                      Electronic Mailing List
  18.  
  19.  
  20.  
  21. The Kurt Goedel Society is setting up an electronic mailing list
  22. for members and people interested in the activities of
  23. the Society. Information about the Goedel Colloquia,
  24. Calls for Papers, the Collegium Logicum Lecture Series,
  25. the Newsletter, and information from sister societies
  26. will be distributed. If you would like to be included
  27. in the mailing list, or have any questions, send email to:
  28.  
  29.                     kgs@csdec1.tuwien.ac.at
  30.  
  31. The next Kurt Goedel Colloquium: Proof Theory and Computational Logic
  32. will be held in August 1993 in Brno, Czech Republic.
  33.