home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2575 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  3.5 KB
  1. Xref: sparky sci.logic:2575 sci.math:17987 comp.ai:4816 comp.ai.philosophy:7256 comp.theory:2854
  2. Newsgroups: sci.logic,sci.math,comp.ai,comp.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: UPDATE: 3rd Kurt Goedel Colloquium
  6. Message-ID: <1993Jan11.200629.15537@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: kgs@csdec1.tuwien.ac.at
  11. Organization: Technische Universit"at Wien
  12. Date: Mon, 11 Jan 1993 20:06:29 GMT
  13. Lines: 87
  14.  
  15. UPDATE:
  16. Note list of invited speakers
  17. Proceedings will be published by Springer
  18.  
  19.  
  20.             3rd Kurt Goedel Colloquium KGC'93
  21.  
  22.            Computational Logic and Proof Theory
  23.  
  24.        August 24--27, 1993      Brno, Czech Republic
  25.  
  26.                     LAST CALL FOR PAPERS
  27.  
  28.  
  29. The Kurt Goedel Society will hold its 3rd Kurt Goedel Colloquium
  30. from Tuesday, August 24, to Friday, August 27, 1993 in Brno,
  31. Czech Republic, the town where Kurt Goedel was born.
  32.  
  33. KGC'93 is the third in a series of biannual colloquia on logic,
  34. theoretical computer science and philosophy of mathematics.
  35. The first two colloquia took place in Salzburg (1989) and in
  36. Kirchberg am Wechsel (1991).
  37.  
  38. Scope:  The colloquium is intended for logicians and computer
  39. scientists interested in the proof-theoretic and algorithmic
  40. aspects of logic. Topics include, but are not limited to:
  41. proof theory, automated theorem proving, unification theory,
  42. complexity theory, logics of programs, non-standard logics for
  43. theoretical computer science and AI, recursion theory,
  44. logic programming, lambda-calculus.
  45.  
  46. Scientific Program:  The program will consist of invited
  47. lectures and contributed papers selected from the submissions.
  48. The invited speakers are:
  49.  
  50.   Egon Boerger (Pisa)            Robert Cowen (New York) 
  51.   Solomon Feferman (Stanford)    Petr Hajek (Prague)
  52.   Joseph Y. Halpern (Almaden)    Viktor Marek (Lexington)
  53.   Per Martin-L"of (Stockholm)    Leszek Pacholski (Wroclaw)
  54.  
  55. The proceedings volume will be published in the Springer
  56. Lecture Notes in Computer Science series.
  57.  
  58. Paper Submission:  Authors are kindly requested to submit 3 copies
  59. of a full draft paper (in English) not exceeding 12 pages not later
  60. January 31, 1993, to the program committee chairman
  61.  
  62. Alexander Leitsch, Technische Universitaet Wien,
  63. Institut fuer Computersprachen E185.2,
  64. Resselgasse 3/1, A-1040 Vienna, Austria/Europe.
  65.  
  66. Authors from locations where access to reproduction facilities is
  67. severely limited may submit one copy only.
  68.  
  69. Notification:  Authors will be notified of acceptance or rejection
  70. of their submissions by March 31, 1993. The final camera-ready
  71. version of the paper must be received by May 31, 1993.
  72.  
  73.  
  74. Program Committee                  Organizing Committee
  75.  
  76. K. Ambos-Spies, Heidelberg         E. Fuchs, Brno
  77. M. Baaz, Vienna                    K. Hoerwein, Vienna
  78. W. Bibel, Darmstadt                E. Koehler (chair), Vienna
  79. N. Brunner, Vienna                 P. Materna, Brno
  80. G. Gottlob, Vienna                 H.-D. Schwabl, Vienna
  81. Y. Gurevich, Ann Arbor             J. Starek, Brno
  82. H. Kleine Buening, Paderborn       R. Zach, Vienna
  83. J. Krajicek, Prague                J. Zlatuska, Brno
  84. A. Leitsch (chair), Vienna
  85. P. Materna, Brno
  86. D. Mundici, Milan
  87. P. Pudlak, Prague
  88. D. Scott, Linz
  89.  
  90.  
  91. Correspondence and Paper Submission
  92.  
  93. KGC'93
  94. Technische Universitaet Wien
  95. Institut fuer Computersprachen E185.2
  96. Resselgasse 3/1
  97. A-1040 Vienna, Austria
  98.  
  99. Phone:   +43 (1) 58801-4088
  100. Fax:     +43 (1) 504 15 89
  101. email:   kgs@csdec2.tuwien.ac.at
  102.