Kurt Gödel Society

        • test conference file
        • Proof Society Workshop and Winter School in Funchal, Madeira
        • First International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira, 2017
        • Proof Theory Summer School in Funchal, Madeira
        • Vienna Tbilisi Summer School in Logic and Language 2016
        • Eleventh Vienna Tbilisi Summer School in Logic and Language
        • Workshop on Proofs and Processes II
        • Tenth Vienna Tbilisi Summer School in Logic and Language
        • Vienna Summer of Logic 2014
        • Workshop on Proofs as Processes
        • Ninth Vienna Tbilisi Summer School in Logic and Language
        • Concepts and Meaning - Workshop in honour of Alexander's Leitsch 60th Birthday
        • Collegium Logicum 2011: Proof Theory
        • Collegium Logicum 2010: Proofs and Structure (2)
        • Mathematical Foundations of Fuzzy Logics
        • Sixth Vienna Tbilisi Summer School in Logic and Language
        • Collegium Logicum 2010: Proofs and Structure
        • Fifth Vienna Tbilisi Summer School in Logic and Language
        • Moscow-Vienna Workshop on Logic and Computation 2009
        • Collegium Logicum 2009: Constraint Satisfaction Problems & Many-Valued Logics
        • Fourth Vienna Tbilisi Summer School in Logic and Language
        • Collegium Logicum Workshop: Fuzzy Logics and Beyond
        • Collegium Logicum 2008: Logical Models of Reasoning with Vague Information
        • Two and beyond: Barcelona-Vienna Workshop on truth-Functional Logics
        • Collegium Logicum 2007: Proofs and Structures
        • Workshop Analytic Proof Systems 3 - LPAR 2007
        • Moscow-Vienna Workshop on Logic and Computation 2007
        • Third Vienna Tbilisi Summer School in Logic and Language
        • Second Vienna Tbilisi Summer School in Logic and Language
        • Horizons of Truth: Gödel Centenary 2006
        • ManyVal'06
        • Prague-Vienna workshop on proof theory and proof complexiry
        • KGRC Set Theory Workshop and 9th Kurt Gödel Colloquium
        • Second Florence - Vienna workshop on Logic and Computation
        • First Vienna Tbilisi Summer School in Logic and Language
        • Collegium Logicum 2005: Cut-Elimination
        • Workshop Analytic Proof Systems - LPAR 2004
        • Paris - Vienna Workshop on Proofs and Complexity
        • 6th Augustus de Morgan Workshop on Logic and Law
        • ESF Exploratory Workshop: The Challenge of Semantics 2004
        • First Florence - Vienna workshop on Logic and Computation
        • Third international Moscow - Vienna Workshop on Logic and Computation
        • LPAR 2003
        • ESSLLI 03
        • CSL 03 and 8th Kurt Gödel Colloquium
        • LPAR 2002
        • Second Moskow-Vienna Workshop on Logic and Computation 2002
        • LC 2001
        • KGC 2001 - Set Theory
        • First Moskow-Vienna Workshop on Logic and Computation 2000
        • Joint Austro-Italien workshop on Fuzzy Logics: analytic proof methods and semantics 2000
        • KGC 99
        • KGC 97 - Computational Logic and Proof Theory
        • Conference on Kurt Goedel's Legacy
        • FISP Workshop (3rd FISP Meeting)
        • Kurt Gödel Birthday Colloquium
        • LATD 2020
        • Tbilisi Summer School in Logic and Language 2019
        • Vienna Tbilisi Summer School in Logic and Language 2017
        • Vienna Tbilisi Summer School in Logic and Language 2018
        • Workshop on Proof Theory and Automated Deduction in Funchal, Madeira
        • Collegium Logicum Volume 9
        • Collegium Logicum Volume 8
        • Collegium Logicum Volume 7: ESSLLI 2003 - Course Material III
        • Collegium Logicum Volume 6: ESSLLI 2003 - Course Material II
        • Collegium Logicum Volume 5: ESSLLI 2003 - Course Material I
        • Collegium Logicum - Annals of the Kurt Gödel Society Volume 4
        • Collegium Logicum - Annals of the Kurt Gödel Society Volume 3
        • Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium KGC 1997, Proceedings
        • Collegium Logicum - Annals of the Kurt Gödel Society Volume 2
        • Collegium Logicum - Annals of the Kurt Gödel Society, Volume 1
        • Yearbook 1992
        • Yearbook 1991
        • Yearbook 1990
        • Yearbook 1989
        • Yearbook 1988
        • Prof. Johann A. Makowsky (Technion, Haifa): Sets and Logic for CS: How to teach what is useful
        • George Metcalfe (Universität Bern): Proof Theory for Lattice-Ordered Groups
        • Prof. Johann A. Makowsky (Technion, Haifa): Characterizing word functions recognized by weighted automata
        • Robert Sedgewick (Princeton University, USA): If You Can Specify It, You Can Analyze It. The Lasting Legacy of Philippe Flajolet
        • Andre Platzer (Carnegie Mellon University): How to Prove Your Robot Safe
        • Sebastian Eberhard (Universität Bern): An implicit characterisation of polynomial time using a truth predicate
        • Christoph Benzmüller (Freie Universität Berlin): Utilizing Church's type theory as a universal logic
        • Leonid Libkin (Univ. of Edinburgh): Graph Logics and Relations on Words
        • Egon Boerger (University of Pisa, Italy): The Abstract State Machines Method for Modeling and Analysis of Software-Based Systems
        • Tanel Tammet (Tallinn University of Technology): Recommender systems create new motivations for probabilistic logic
        • Byron Cook (Microsoft Research): Proving that programs eventually do something good
        • Sergei Artemov (City University of New York): Justification Logic
        • Harvey Friedman (Ohio State University):Concrete Mathematical Incompleteness
        • Mehrnoosh Sadrzadeh (Oxford): Modal Logic and Reasoning about Information Flow
        • Moshe Y. Vardi (Rice University): And Logic Begat Computer Science: When Giants Roamed the Earth
        • Dale Miller (INRIA Saclay, LIX/Ecole Polytechnique): Towards a broad spectrum proof certificate
        • Jeremy Avigad (Carnegie Mellon University): Understanding, formal verification, and the philosophy of mathematics
        • Hans de Nivelle (Institute of Computer Science, University of Wroclaw, Poland)
        • Kazushige Terui (Kyoto University): Algebraic proof theory for substructural logics
        • Natasha Sharygina (Lugano, Carnegie Mellon): The Synergy of Precise and Fast Abstractions for Program Verification
        • Marysia Spychalska (Warsaw University): Reasoning with quantifiers "most" and "some" - empirical evidence
        • Makoto Tatsuta (NII, Tokyo), Non-Commutative First-Order Sequent Calculus
        • Walter Carnielli (State University of Campinas, University of Luxembourg):Polynomials as a proof method: a "rendez-vous" between logic and algebra
        • Sergei Artemov (City University of New York): Logic of Justifications
        • Ana Sokolova (University of Salzburg): Bismilarity and trace as instances of the same thing (Generic coalgebraic trace theory)
        • Peter Schuster (LMU München) -- Finite methods in commutative algebra
        • Prof. Makoto Tatsuta (NII, Tokyo) -- Substitution Theorem
        • Hans de Nivelle -- Uebersetzungsbasierte Entscheidungsverfahren fuer Modallogiken
        • Dr.Nikolaos Galatos (JAIST, Japan) --- Cut elimination for substructural logics from a semantical perspective
        • Prof. Lenore Blum (School of Computer Science, Carnegie Mellon) ---Computing over the Reals: Where Turing Meets Newton
        • Dr. Pavel Hrubes (Mathematical Institute of the Academy of Sciences of the Czech Republic) -- Lower bounds for modal logics
        • Dr. Carsten Sinz (University of Tübingen) - Proof Compression by Extended Resolution
        • Set Theory Workshop at the Kurt Gödel Research Center for Mathematical Logic
        • Thomas Forster (Cambridge) -- The iterative concept of set and its importance for computer science, 15:00-16:00, Bernd Buldt (Konstanz) -- Intensionsionality revisited and its importance for computer science
        • Prof. Hiroakira Ono (School of Information Science, JAIST, Japan) -Modalities in substructural logics ---- a preliminary report-
        • Richard Zach -- Algebraic Semantics for Logics of Vagueness, 16:45-17:30, Libor Behounek --On the motivation of fuzzy logic and 17:30-18:15, Petr Cintula -- Weakly implicative fuzzy logics - new results
        • Mark van Atten --The hypothetical judgement in the history of intuitionistic logic
        • Arnold Beckmann (Department of Computer Science University of Wales) --Uniform proof-complexity
        • Kazushige Terui (National Institute of Informatics, Tokyo) -- Which Structural Rules Admit Cut Elimination? An Algebraic Criterion
        • Roy Dyckhoff (University of St Andrews) -- Focused Proof Systems in Intuitionistic Logics
        • Nicola Olivetti (University of Torino, Italy) - Belief revision and Conditional Logic
        • Yuri Matijasevich (St. Petersburg): Hilbert's tenth problem today: main results and open questions
        • Piotr Wojtylak (Katowice), ``An operation on inferential rules'', place: Seminar room Favoritenstrasse
        • George Metcalfe (King's College, London, UK): Uninorm Based Fuzzy Logics
        • Test page
        • Dana Scott eleceted President of KGS
        • ScienceWeek 2001
        • ScienceWeek 2000
        • Call for Applications
        • Gold Medal posthumously awarded to Petr Hájek
      • Our Presidents
    • Membership
    • Kurt Gödel's Birthday Colloquium
    • Kurt Gödel
    • Grants
    • Useful Links
    • Contact

    KGRC Set Theory Workshop and 9th Kurt Gödel Colloquium

    The workshop was held from November 17th, 2005 to November 19th at the Kurt Gödel Research Center. Please see the conference web page.

    Backward Prague-Vienna workshop on proof theory and proof complexiry Second Florence - Vienna workshop on Logic and Computation Forward
    Kurt Gödel Society - Impressum