home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1692 < prev    next >
Encoding:
Internet Message Format  |  1992-10-11  |  4.9 KB
  1. Xref: sparky sci.logic:1692 sci.math:13028 comp.theory:2166 sci.philosophy.meta:2111 sci.physics:16323 comp.ai.philosophy:6375
  2. Newsgroups: sci.logic,sci.math,comp.theory,sci.philosophy,sci.philosophy.meta,sci.physics,comp.ai.philosophy
  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: Membership
  6. Message-ID: <1992Oct11.173039.18577@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:30:39 GMT
  13. Lines: 137
  14.  
  15.                        KURT GOEDEL SOCIETY
  16.  
  17.                      Invitation to Membership
  18.  
  19.  
  20.  
  21. History and Organization
  22. ------------------------
  23.  
  24. The Kurt Goedel Society is an international organization for the
  25. promotion of research in all areas of logic, in philosophy and the
  26. history of mathematics, above all in connection with the biography of
  27. Kurt Goedel, and in other areas to which Goedel made tributions,
  28. especially mathematics, physics, theology, philosophy and Leibnitz
  29. studies.  It was founded in 1987 and is chartered in Vienna.  Its
  30. founding president was Prof. Hao Wang.
  31.  
  32. Its activities are coordinated by the executive board consisting of
  33. the president, the vice president, the secretary, the treasurer, and
  34. their deputies, as well as the archivist of the Goedel archive, the
  35. editor of the Yearbook, and the chairperson of the organizing
  36. committee of the Collegium Logicum lecture series.
  37.  
  38.  
  39. Activities of the Society
  40. -------------------------
  41.  
  42. * The Society undertakes and supports research in the areas mentioned
  43. above through the activities of its members and through granting
  44. financial support.
  45.  
  46. * The Society maintains the Kurt Goedel Archive, collecting primarily
  47. material on the life and work of Kurt Goedel and his relations to the
  48. Vienna Circle.  The Archive is connected with the recently founded
  49. Vienna Circle Archives of the Institut "Wiener Kreis".
  50.  
  51. * The Society hosts the biannually held Kurt Goedel Colloquia.  The
  52. first colloquium was held in Salzburg in 1989, the second in
  53. Kirchberg/Wechsel in 1991.  The third Kurt Goedel Colloquium will take
  54. place in Goedel's hometown, Brno, in 1993.  Invited speakers at the
  55. previous Colloquia have included R. Gandy, J. Hintikka, R. Jensen,
  56. and H. Wang. The Society also held a section on logic at the
  57. symposium "Wien-Berlin-Prag" in Vienna in 1991.
  58.  
  59. * The Society organizes a continuing lecture series, the Collegium
  60. Logicum in Vienna.  Among the distinguished speakers have been
  61. H. Barendregt, E. Boerger, D. van Dalen, J. Hintikka, W. Hodges,
  62. T. Jech, M. Magidor, V. Marek, G. Mints, D. Mundici and R. Reiter.
  63.  
  64. * The Society publishes the annual Yearbook of the Kurt Goedel
  65. Society, which contains papers presented at the Collegium Logicum and
  66. at the Goedel Colloquia.
  67.  
  68. * The Society is preparing a book series on logic and the life and
  69. work of Kurt Goedel.  Members of the society have also been involved
  70. in the making of a TV program on Kurt Goedel and have assisted in the
  71. publication of Goedel's collected works.
  72.  
  73. * The Society promotes, through its members, education in logic,
  74. especially at the Viennese universities.
  75.  
  76.  
  77. Membership
  78. ----------
  79.  
  80. Everyone interested in the activities of the society is invited to
  81. become a member.  Benefits of membership includes the Yearbook,
  82. invitations to the lecture series Collegium Logicum, and reduced
  83. registration fees at the Goedel Colloquia.
  84.  
  85. Current membership dues are AS 300.00 for individual members,
  86. AS 100.00 for students, AS 3,000.00 for life membership.  Additional
  87. copies of the Yearbook are availaible for AS 150.00 to members and
  88. AS 350.00 to nonmembers.
  89.  
  90.  
  91. Executive Board
  92. ---------------
  93.  
  94. President:               Daniele Mundici
  95. Vice President:          Georg Gottlob
  96. Secretary:               Karin Hoerwein
  97. Deputy Secretary:        Klaus Dethloff
  98. Treasurer:               Christian Fermueller
  99. Deputy Treasurer:        Alexander Leitsch
  100. Archivist:               Hans-Dominik Schwabl
  101. Collegium Logicum Chair: Richard Zach
  102. Scientific Advisor:      Eckehart Koehler
  103. Members-at-Large:        Matthias Baaz
  104.                          Maurice Boffa
  105.                          Franz Krieger
  106.  
  107. Past Presidents:         Hao Wang (1987-89)
  108.                          Ronald Bjoern Jensen (1989-92)
  109.  
  110.  
  111. Further Information
  112. -------------------
  113.  
  114. For further information, and to apply for membership, please write to
  115. the secretary of the Society:
  116.  
  117. Karin Hoerwein
  118. Technische Universitaet Wien
  119. Institut fuer Computersprachen E185.2
  120. Resselgasse 3/1, A-1040 Vienna, Austria
  121.  
  122. Telephone:      +43 1 588 01-4088
  123. Telefax:        +43 1 504 15 89
  124. email:          kgs@csdec2.tuwien.ac.at
  125.  
  126.  
  127. ---- cut here ----
  128.  
  129. Membership Application
  130.  
  131. [ ]  I would like to become a member of the Kurt Goedel Society
  132. [ ]  I would like to become a student member of the Kurt Goedel Society
  133.  
  134. Title:
  135. First Name(s):
  136. Last Name:
  137.  
  138. Institution:
  139. Address:
  140.  
  141.  
  142.  
  143. Home address (if preferred):
  144.  
  145.  
  146.  
  147. Phone:
  148. Fax:
  149. email:
  150.  
  151.  
  152.