Thread View: sci.logic
1 messages
1 total messages
Started by Helmut Veith
Wed, 15 Mar 1995 14:17
Kurt Goedel Society Lecture Program
Author: Helmut Veith
Date: Wed, 15 Mar 1995 14:17
Date: Wed, 15 Mar 1995 14:17
107 lines
3634 bytes
3634 bytes
Kurt Goedel Society Lecture Program =================================== Monday, April 3, 1995, 16:45 V.Yu.Sazonov, Russian Academy of Sciences, Pereslavl-Zalessky An Equivalence Between Polynomial Constructivity of Markov's Principle and the Equality P=NP ---------------------------------------- Friday, April 7, 1995, 14:00-16:00 and Friday, May 5, 1995, 14:00-16:00 Maurizio Martelli, Universita' di Genova Short Course: Linear Logic for Computer Science ---------------------------------------- Monday, April 24, 1995, 16:45 and 18:15 Petr Hajek, Czech Academy of Sciences, Prague Fuzzy Logik als Logik Matthias Baaz, Technical University Vienna Die Unvollstaendigkeit unendlichwertiger Goedellogiken 1.Ordnung - was folgt daraus fuer Formalisierungen der Fuzzy-Logik? ---------------------------------------- Monday, May 8, 1995, 16:45 Hans de Nivelle, Technical University Delft Resolution Games and Non-Liftable Resolution Orderings ---------------------------------------- Monday, May 15, 1995, 16:45 Rainer Haehnle, University of Karlsruhe A-geordnete Tableaux mit freien Variablen fuer beliebige Formeln in NNF ---------------------------------------- Monday, May 22 -- Saturday, May 27 Jan Krajicek, Czech Academy of Sciences, Prague Short Course: Recent Developments in Propositional Logic and Bounded Arithmetic ---------------------------------------- Monday, May 29, 1995, 16:45 Christian Fermueller, Technical University Vienna Non-Elementary Speed-Up in Tableaux ---------------------------------------- Monday, June 12, 1995, 16:45 Richard Zach, UC Berkeley and TU Vienna Adventures in Many-Valued Logic ---------------------------------------- Monday, June 19, 1995, 16:45 and 18:15 Douglas S.Bridges, University of Waikato Varieties of Constructive Mathematics Karl Svozil, Technical University Vienna Physical Constructivism ---------------------------------------- Monday, June 26, 1995, 16:45 Tomek Bartoszynski, Boise State University Measure and Category in Set Theory ---------------------------------------- Place: Maurizio Martelli: Seminar room SEM 184, Argentinierstr.8, 3rd floor (2.Stock), Technische Universitaet Wien Jan Krajicek: Time and place will be announced separately. All other lectures: Seminar room SEM 181A of the Institut fuer Informationssysteme, Technische Universitaet Wien, Paniglgasse 16, 2nd floor (1.Stock), 1040 Vienna For further information: Kurt Goedel Society Technische Universitaet Wien, Institut fuer Computersprachen E185.2, Resselgasse 3/1, A-1040 Vienna Phone: (+43 1) 588 01/4088 Fax: (+43 1) 504 15 89 email: kgs@logic.tuwien.ac.at WWW: http://logic.tuwien.ac.at:80/kgs/home.html
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads