https://kgs-dev.logic.at/pages/news-and-activities/ 2025-12-11T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/ 1990-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/ 1990-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/ 1990-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/organization/ https://kgs-dev.logic.at/pages/membership/ https://kgs-dev.logic.at/pages/news-and-activities/other-activities/ 1990-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/goedel25/ https://kgs-dev.logic.at/pages/kurt-goedel/ https://kgs-dev.logic.at/pages/ 2025-12-11T00:00:00+00:00 https://kgs-dev.logic.at/pages/grants/ https://kgs-dev.logic.at/pages/useful-links/ https://kgs-dev.logic.at/pages/contact/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/test_conference_file/ 2025-12-11T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/other-activities/test-page/ 2025-12-11T00:00:00+00:00 https://kgs-dev.logic.at/ 2025-12-08T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/vienna-funchal-proofsociety/ 2021-11-05T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/international-summer-school-for-proof-theory-in-first-order-logic-in-funchal/ 2017-01-20T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/vienna-funchal-summer-school-in-proof-theory/ 2016-12-16T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/vienna-tbilisi-summer-school-in-logic-and-language-2016/ 2016-06-29T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/other-activities/dana-scott-eleceted-president-of-kgs/ 2015-06-29T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/eleventh-vienna-tbilisi-summer-school-in-logic-and-language/ 2015-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/workshop-on-proofs-and-processes-ii/ 2015-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/prof-johann-a-makowsky-technion-haifa-sets-and-logic-for-cs-how-to-teach-what-is-useful/ 2014-10-09T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/tenth-vienna-tbilisi-summer-school-in-logic-and-language/ 2014-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/vienna-summer-of-logic-2014/ 2014-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/workshop-on-proofs-as-processes/ 2014-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/george-metcalfe-universitaet-bern-proof-theory-for-lattice-ordered-groups/ 2013-11-27T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/prof-johann-a-makowsky-technion-haifa-characterizing-word-functions-recognized-by-weighted-automata/ 2013-06-26T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/ninth-vienna-tbilisi-summer-school-in-logic-and-language/ 2013-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/robert-sedgewick-princeton-university-usa-if-you-can-specify-it-you-can-analyze-it-the-lasting-legacy-of-philippe-flajolet/ 2013-05-21T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/andre-platzer-carnegie-mellon-university-how-to-prove-your-robot-safe/ 2013-04-15T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/sebastian-eberhard-universitaet-bern-an-implicit-characterisation-of-polynomial-time-using-a-truth-predicate/ 2013-04-10T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/christoph-benzmueller-freie-universitaet-berlin-utilizing-church-s-type-theory-as-a-universal-logic/ 2012-10-31T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/leonid-libkin-univ-of-edinburgh-graph-logics-and-relations-on-words/ 2012-10-16T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/concepts-and-meaning-workshop-in-honour-of-alexander-s-leitsch-60th-birthday/ 2012-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/egon-boerger-university-of-pisa-italy-the-abstract-state-machines-method-for-modeling-and-analysis-of-software-based-systems/ 2012-04-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/tanel-tammet-tallinn-university-of-technology-recommender-systems-create-new-motivations-for-probabilistic-logic/ 2012-04-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/byron-cook-microsoft-research-proving-that-programs-eventually-do-something-good/ 2011-06-21T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-2011-proof-theory/ 2011-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/sergei-artemov-city-university-of-new-york-justification-logic/ 2011-04-26T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/harvey-friedman-ohio-state-university-concrete-mathematical-incompleteness/ 2011-03-04T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/mehrnoosh-sadrzadeh-oxford-modal-logic-and-reasoning-about-information-flow/ 2011-01-31T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/moshe-y-vardi-rice-university-and-logic-begat-computer-science-when-giants-roamed-the-earth/ 2011-01-26T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/dale-miller-inria-saclay-lix-ecole-polytechnique-towards-a-broad-spectrum-proof-certificate/ 2011-01-12T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-2010-proofs-and-structure-2/ 2010-06-04T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/mathematical-foundations-of-fuzzy-logics/ 2010-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/sixth-vienna-tbilisi-summer-school-in-logic-and-language/ 2010-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-2010-proofs-and-structure/ 2010-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/jeremy-avigad-carnegie-mellon-university-understanding-formal-verification-and-the-philosophy-of-mathematics/ 2010-05-25T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/hans-de-nivelle-institute-of-computer-science-university-of-wroclaw-poland/ 2010-03-10T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/kazushige-terui-kyoto-university-algebraic-proof-theory-for-substructural-logics/ 2010-02-15T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/natasha-sharygina-lugano-carnegie-mellon-the-synergy-of-precise-and-fast-abstractions-for-program-verification/ 2009-12-14T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/marysia-spychalska-warsaw-university-reasoning-with-quantifiers-most-and-some-empirical-evidence/ 2009-12-09T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/makoto-tatsuta-nii-tokyo-non-commutative-first-order-sequent-calculus/ 2009-07-27T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/fifth-vienna-tbilisi-summer-school-in-logic-and-language/ 2009-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/moscow-vienna-workshop-on-logic-and-computation-2009/ 2009-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-2009-constraint-satisfaction-problems-and-many-valued-logics/ 2009-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/walter-carnielli-state-university-of-campinas-university-of-luxembourg-polynomials-as-a-proof-method-a-rendez-vous-between-logic-and-algebra/ 2008-09-22T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/fourth-vienna-tbilisi-summer-school-in-logic-and-language/ 2008-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-workshop-fuzzy-logics-and-beyond/ 2008-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-2008-logical-models-of-reasoning-with-vague-information/ 2008-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/sergei-artemov-city-university-of-new-york-logic-of-justifications/ 2008-04-30T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/ana-sokolova-university-of-salzburg-bismilarity-and-trace-as-instances-of-the-same-thing-generic-coalgebraic-trace-theory/ 2008-01-23T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/peter-schuster-lmu-muenchen-finite-methods-in-commutative-algebra/ 2007-12-06T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/prof-makoto-tatsuta-nii-tokyo-substitution-theorem/ 2007-08-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/two-and-beyond-barcelona-vienna-workshop-on-truth-functional-logics/ 2007-06-07T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-2007-proofs-and-structures/ 2007-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/workshop-analytic-proof-systems-3-lpar-2007/ 2007-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/moscow-vienna-workshop-on-logic-and-computation-2007/ 2007-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/third-vienna-tbilisi-summer-school-in-logic-and-language/ 2007-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/hans-de-nivelle-uebersetzungsbasierte-entscheidungsverfahren-fuer-modallogiken/ 2007-02-05T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/dr-nikolaos-galatos-jaist-japan-cut-elimination-for-substructural-logics-from-a-semantical-perspective/ 2006-10-30T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/second-vienna-tbilisi-summer-school-in-logic-and-language/ 2006-06-05T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/horizons-of-truth-goedel-centenary-2006/ 2006-06-04T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/manyval-06/ 2006-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/prague-vienna-workshop-on-proof-theory-and-proof-complexiry/ 2006-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-volume-9/ 2006-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/prof-lenore-blum-school-of-computer-science-carnegie-mellon-computing-over-the-reals-where-turing-meets-newton/ 2006-05-31T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/dr-pavel-hrubes-mathematical-institute-of-the-academy-of-sciences-of-the-czech-republic-lower-bounds-for-modal-logics/ 2006-04-05T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/dr-carsten-sinz-university-of-tuebingen-proof-compression-by-extended-resolution/ 2006-01-18T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/set-theory-workshop-at-the-kurt-goedel-research-center-for-mathematical-logic/ 2005-11-17T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/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/ 2005-10-14T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/prof-hiroakira-ono-school-of-information-science-jaist-japan-modalities-in-substructural-logics-a-preliminary-report/ 2005-09-21T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/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/ 2005-08-10T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/mark-van-atten-the-hypothetical-judgement-in-the-history-of-intuitionistic-logic/ 2005-06-15T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/kgrc-set-theory-workshop-and-9th-kurt-goedel-colloquium/ 2005-06-06T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/second-florence-vienna-workshop-on-logic-and-computation/ 2005-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/first-vienna-tbilisi-summer-school-in-logic-and-language/ 2005-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/collegium-logicum-2005-cut-elimination/ 2005-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/arnold-beckmann-department-of-computer-science-university-of-wales-uniform-proof-complexity/ 2005-03-30T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/kazushige-terui-national-institute-of-informatics-tokyo-which-structural-rules-admit-cut-elimination-an-algebraic-criterion/ 2005-03-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/roy-dyckhoff-university-of-st-andrews-focused-proof-systems-in-intuitionistic-logics/ 2004-12-06T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/nicola-olivetti-university-of-torino-italy-belief-revision-and-conditional-logic/ 2004-11-10T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/yuri-matijasevich-st-petersburg-hilbert-s-tenth-problem-today-main-results-and-open-questions/ 2004-10-25T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/piotr-wojtylak-katowice-an-operation-on-inferential-rules-place-seminar-room-favoritenstrasse/ 2004-07-08T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/workshop-analytic-proof-systems-lpar-2004/ 2004-06-05T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-volume-8/ 2004-06-04T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/paris-vienna-workshop-on-proofs-and-complexity/ 2004-06-04T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/6th-augustus-de-morgan-workshop-on-logic-and-law/ 2004-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-volume-7-esslli-2003-course-material-iii/ 2004-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-volume-6-esslli-2003-course-material-ii/ 2004-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/esf-exploratory-workshop-the-challenge-of-semantics-2004/ 2004-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-volume-5-esslli-2003-course-material-i/ 2004-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/first-florence-vienna-workshop-on-logic-and-computation/ 2004-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/third-international-moscow-vienna-workshop-on-logic-and-computation/ 2004-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/lecture-series/george-metcalfe-king-s-college-london-uk-uninorm-based-fuzzy-logics/ 2004-04-21T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/lpar-2003/ 2003-06-03T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/esslli-03/ 2003-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/csl-03-and-8th-kurt-goedel-colloquium/ 2003-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/lpar-2002/ 2002-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/second-moskow-vienna-workshop-on-logic-and-computation-2002/ 2002-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/lc-2001/ 2001-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/other-activities/scienceweek-2001/ 2001-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-annals-of-the-kurt-goedel-society-volume-4/ 2001-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/kgc-2001-set-theory/ 2001-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/first-moskow-vienna-workshop-on-logic-and-computation-2000/ 2000-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/other-activities/scienceweek-2000/ 2000-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/joint-austro-italien-workshop-on-fuzzy-logics-analytic-proof-methods-and-semantics-2000/ 2000-01-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-annals-of-the-kurt-goedel-society-volume-3/ 1999-06-02T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/kgc-99/ 1999-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/conferences/kgc-97-computational-logic-and-proof-theory/ 1997-07-10T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/computational-logic-and-proof-theory-5th-kurt-goedel-colloquium-kgc-1997-proceedings/ 1997-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-annals-of-the-kurt-goedel-society-volume-2/ 1996-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/collegium-logicum-annals-of-the-kurt-goedel-society-volume-1/ 1994-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/yearbook-1992/ 1992-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/yearbook-1991/ 1991-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/yearbook-1990/ 1990-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/yearbook-1989/ 1989-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/publications/yearbook-1988/ 1988-06-01T00:00:00+00:00 https://kgs-dev.logic.at/pages/news-and-activities/other-activities/call-for-applications/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/conference-on-kurt-goedels-legacy/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/fisp-workshop-3rd-fisp-meeting/ https://kgs-dev.logic.at/pages/news-and-activities/other-activities/gold-medal-posthumously-awarded-to-petr-hajek/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/kurt-goedel-birthday-colloquium/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/latd-2020/ https://kgs-dev.logic.at/pages/organization/our-presidents/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/tbilisi-summer-school-in-logic-and-language-2019/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/tbilisi17/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/vienna-tbilisi-summer-school-in-logic-and-language/ https://kgs-dev.logic.at/pages/news-and-activities/conferences/workshop-on-proof-theory-and-automated-deduction-in-funchal-madeira/ https://kgs-dev.logic.at/admin/