Kurt Goedel Society archive
By Subject

Starting: Mon Oct 27 1997 - 14:16:04 MET
Ending: Mon Dec 23 2002 - 21:14:43 MET

• (fwd) PhD positions
  • Norbert Preining (Fri Nov 10 2000 - 12:38:40 MET)
• 20.6.: Logic and Complexity Lectures
  • Helmut Veith (Mon Jun 17 2002 - 18:52:57 MEST)
• 26.6.: H. Ganzinger, Integration von Entscheidungsverfahren in
  • Helmut Veith (Mon Jun 24 2002 - 12:21:01 MEST)
• [CSL03] Call For Papers: Computer Science Logic 2003
  • csl03 (Sun Dec 22 2002 - 20:35:37 MET)
• A. Avron: Transitive Closure and Inductive Reasoning
  • Helmut Veith (Fri May 31 2002 - 20:18:39 MEST)
• Activities of the Institut Wiener Kreis / Vienna Circle Institute
  • ivc.zuef@univie.ac.at (Tue Jun 11 2002 - 15:18:44 MEST)
• ANN: Vienna International Summer University 2003
  • Norbert Preining (Fri Oct 25 2002 - 11:41:26 MEST)
• Announcement Tbilisi Summer School
  • Norbert Preining (Thu Jun 15 2000 - 12:27:28 MEST)
• ANNOUNCEMENT: VISU 2002: MIND AND COMPUTATION
  • kgs (Thu Jan 24 2002 - 10:52:34 MET)
• Apr 10, Beklemishev & Rastsvetaev: Query Complexity and Formal Arithmetic
  • Wolfgang Slany (Thu Apr 06 2000 - 14:48:10 MEST)
• April 12: Hans Reichenbach and Logical Empiricism in Turkey
  • Helmut Veith (Fri Apr 09 1999 - 14:14:00 MEST)
• April 30: H. Vollmer
  • Helmut Veith (Mon Apr 27 1998 - 15:53:36 MEST)
• April 4: Revaz Grigolia, Monadic MV Algebras
  • Helmut Veith (Mon Apr 02 2001 - 19:07:43 MEST)
• CFP: Collegium Logicum 1998: Complexity
  • veith (Thu Jun 11 1998 - 15:57:22 MEST)
• Change of date for Miki Hermann's lecture
  • Helmut Veith (Tue May 25 1999 - 16:33:10 MEST)
• Change of list housing
  • Norbert Preining (Sun Dec 22 2002 - 17:12:04 MET)
• CL99 Time Table
  • Norbert Preining (Thu Nov 11 1999 - 16:57:31 MET)
• Collegium Logicum 99: Proof Theory
  • Helmut Veith (Wed Nov 10 1999 - 17:47:16 MET)
• Conference Announcement STACS 2001
  • Kerstin Achtruth (Mon Jul 10 2000 - 12:12:29 MEST)
• Dringend: ScienceTalk Gödel - Mythos und Wirklichkeit
  • Norbert Preining (Tue Oct 02 2001 - 11:07:19 MEST)
• Einladung zur ScienceWeek Veranstaltung der KGS
  • Norbert Preining (Tue May 23 2000 - 11:15:58 MEST)
• General Assembly 1999
  • Georg Moser (Thu Nov 25 1999 - 12:29:24 MET)
• General Assembly, ASCII
  • Kurt Goedel Society (Fri Sep 18 1998 - 15:27:08 MEST)
• General Assembly, LaTeX
  • Kurt Goedel Society (Fri Sep 18 1998 - 15:26:58 MEST)
• INFORMATIKKOLLOQUIUM: 08.04.2002 17h00 E. Clarke: Grand Challenge:
  • Helmut Veith (Fri Apr 05 2002 - 15:29:49 MEST)
• Invitation General Assembly 2002
  • kgs@logic.at (Sat Nov 16 2002 - 09:13:08 MET)
• Invitation to General Assembly 2001
  • Norbert Preining (Thu Nov 29 2001 - 14:41:46 MET)
• Invitation to ScienceWeek
  • Norbert Preining (Wed May 09 2001 - 18:09:30 MEST)
• IVC Activities
  • Norbert Preining (Tue Jun 26 2001 - 14:03:50 MEST)
• Jan 15: G.Mints, Reductions of finite and infinite derivations
  • Helmut Veith (Mon Jan 11 1999 - 15:47:49 MET)
• January 21: B. Loescher, Existentially quantified function variables
  • Helmut Veith (Mon Jan 18 1999 - 09:49:47 MET)
• January 25, S.I.Adian: Decidable and Undecidable Algorithmic Problems for Groups and Monoids.
  • Helmut Veith (Tue Jan 19 1999 - 19:41:56 MET)
• Joint Conference: 5th Barcelona Logic Meeting and 6th Kurt Goedel Colloquium
  • kgc99 (veith) (Mon Feb 01 1999 - 12:57:35 MET)
• July 2: T. Forstner, Set Theories with a Universal Set
  • Helmut Veith (Mon Jun 24 2002 - 12:28:20 MEST)
• June 11: B.C.Desai, Concordia Indexing and Discovery System
  • Helmut Veith (Tue Jun 08 1999 - 15:46:37 MEST)
• June 1998: Finite Models and Beyond
  • Helmut Veith (Thu Jun 11 1998 - 15:17:14 MEST)
• June 22 & 25: F. Harary & W. Slany: Combinatorial games and Ramsey theory
  • Wolfgang Slany (Wed Jun 16 1999 - 12:47:53 MEST)
• June 24: A. Voronkov, Expressive power and data complexity of first-order logic over trees
  • Helmut Veith (Tue Jun 22 1999 - 15:52:06 MEST)
• June 9: T. Bartoszynski, Perfectly Meager Sets
  • Helmut Veith (Tue Jun 06 2000 - 01:39:42 MEST)
• Karl Popper 2002 Symposium --- 2. Announcement
  • Norbert Preining (Tue Jul 24 2001 - 13:22:51 MEST)
• KGC'97 - CALL FOR PARTICIPATION
  • Kurt Goedel Colloquium 97 (Sat Aug 02 1997 - 18:42:11 MEST)
• KGS General Assembly 2001
  • Norbert Preining (Wed Nov 29 2000 - 15:03:23 MET)
• LC2001 extended deadline
  • Georg Moser (Wed May 02 2001 - 17:12:04 MEST)
• Lecture Announcement
  • Norbert Preining (Tue Nov 23 1999 - 12:27:07 MET)
  • Norbert Preining (Tue Nov 23 1999 - 12:26:37 MET)
• Lecture Announcement: Andreas Weiermann
  • Norbert Preining (Wed Jul 25 2001 - 14:23:38 MEST)
• Lecture Announcement: Andreas Weiermann - Update
  • Norbert Preining (Wed Jul 25 2001 - 14:37:09 MEST)
• Lecture Announcement: George Reisch, Logical Empiricism and American Politics: 1930s versus 1950s
  • Norbert Preining (Wed Nov 07 2001 - 14:07:33 MET)
• Lecture Announcement: Jan Johannsen
  • kgs@logic.at (Thu Jan 24 2002 - 13:37:54 MET)
• Lecture Today: T. Schwentick, Characterizing Linear Time
  • Helmut Veith (Mon Oct 18 1999 - 11:04:22 MEST)
• LPNMR'01: Second Call for Papers
  • Wolfgang Faber (Wed Nov 29 2000 - 14:43:17 MET)
• LPNMR'99 Call for Papers
  • LPNMR'99 (Wed Sep 02 1998 - 22:49:46 MEST)
• May 27: M. Hermann, Complexity of Counting the Hilbert Basis of a Linear Diophantine System
  • Helmut Veith (Fri May 21 1999 - 19:31:55 MEST)
• May 6: J.Hromkovic, Las Vegas Computations for Finite Automatas
  • Helmut Veith (Wed May 05 1999 - 14:44:43 MEST)
• NEWER KGS-MAIL MESSAGES ...
  • kgs-owner@dbai.tuwien.ac.at (Mon Dec 23 2002 - 21:14:43 MET)
• newslett97.ps
  • Kurt Goedel Society (Thu Dec 11 1997 - 14:28:23 MET)
• Newsletter 97
  • Kurt Gödel Society (Thu Dec 11 1997 - 14:26:35 MET)
• Nov 11, Irek Reclac
  • Helmut Veith (Wed Nov 10 1999 - 09:20:26 MET)
• Nov 18: G.Gottlob, Existential 2nd Order Logic over Strings
  • Helmut Veith (Thu Dec 11 1997 - 22:00:25 MET)
• Nov 19: T. Schwentick, Pattern Languages for Tree-Structured Data
  • Helmut Veith (Thu Nov 18 1999 - 16:31:38 MET)
• Nov 27-28: Shport Course on Probabilistic Proofs
  • Helmut Veith (Wed Nov 26 1997 - 17:11:36 MET)
• November 24: L.Staiger: Mass, Kategorie und Dimension im Sequenz-Kalkuel
  • Helmut Veith (Mon Nov 17 1997 - 19:11:45 MET)
• November 25: Z.Esik, The equational logic of fixed points
  • Helmut Veith (Mon Nov 24 1997 - 15:00:14 MET)
• Oct 29: W.Kuechlin: Paralleles Rechnen
  • Helmut Veith (Mon Oct 27 1997 - 14:15:57 MET)
• October 25: J. Wiedermann
  • Helmut Veith (Thu Oct 21 1999 - 17:45:31 MEST)
• Pre-Announcement Vienna International Summer University 2002: MIND AND COMPUTATION
  • Norbert Preining (Thu Oct 25 2001 - 15:00:59 MEST)
• Proc. vs. Book
  • Kurt Gödel Society (Mon Dec 22 1997 - 13:28:14 MET)
• SCIE99-second announcement
  • SCIE99 (Wed Nov 29 2000 - 14:40:14 MET)
• Second Invitation General Assembly 2002
  • kgs@logic.at (Sun Nov 17 2002 - 15:04:56 MET)
• TODAY: G.Gottlob, Monadic Queries over Tree-Structured Data
  • Helmut Veith (Wed Dec 18 2002 - 14:48:38 MET)
• TUTORIAL + TALK by Erich Graedel
  • Helmut Veith (Sun Dec 08 2002 - 20:14:59 MET)
• Workshop Program: Collegium Logicum Complexity
  • veith (Thu Sep 03 1998 - 14:07:45 MEST)

Last message date: Mon Dec 23 2002 - 21:14:43 MET
Archived on: Mon Dec 23 2002 - 10:43:55 MET

This archive was generated by hypermail 2b30 : Mon Dec 23 2002 - 10:43:55 MET