Kurt Goedel Society archive
By Author

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

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