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

    Other activities

    Kurt Gödel Society - Impressum