News and Activities

First International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira, 2017

The KGS organizes the first International Summer School for Proof Theory in First-Order Logic in Madeira. The summer school will take place in Funchal from 21.08.2017 to 26.08.2017 and will bring courses to various topics to students. Please visit the web site of the summer school for more information: https://kgs.logic.at/madeira/


Proof Theory Summer School in Funchal, Madeira

The KGS organizes a summer school taking place in Funchal, Madeira. In August 2016 the Proof Theory Summer School in Madeira will bring courses to various topics in proof theory to students. Please visit the official website of the summer school for more information.


Vienna Tbilisi Summer School in Logic and Language 2016

Also this year, the KGS organizes a summer school taking place in Tbilisi, Georgia. In September 2015 the Eleventh Vienna Tbilisi Summer School in Logic and Language will bring courses to various topics to students. Please visit the web site of the summer school for more information: www.logic.at/tbilisi16/.


Dana Scott eleceted President of KGS

On June 29, 2015 Professor Dana Scott was elected President of the KGS. Photos from the ceremony and his talk Can Modalities Save Naive Set Theory? given at VCLA can be viewed at Photos (photos copyright B Afshari).


Eleventh Vienna Tbilisi Summer School in Logic and Language

Also this year, the KGS organizes a summer school taking place in Tbilisi, Georgia. In September 2015 the Eleventh Vienna Tbilisi Summer School in Logic and Language will bring courses to various topics to students. Please visit the web site of the summer school for more information: www.logic.at/tbilisi15/.


Workshop on Proofs and Processes II

http://www.jaist.ac.jp/~preining/wpp2/

The Workshop on Proofs as Processes II is a continuation of last years Workshop on Proofs as Processes. It will be held with the support of the Kurt Gödel Society, and a Royal Society Daiwa Anglo-Japanese Foundation International Exchanges Award in Noto, Ishikawa, from 13‐15 July, 2015.

After the successful development of a Hypernatural deduction system (LICS 2015 etc) we will continue our long-term project on extending the classical Curry-Howard correspondence to hypersequent calculus and parallel processes. It will bring together scientists working on the various related fields who are interested in collaborating in the project.


Prof. Johann A. Makowsky (Technion, Haifa): Sets and Logic for CS: How to teach what is useful

Many courses of Sets and/or Logic teach the old narrative of paradoxes, compactness, (in)completeness of logical systems etc. In this talk we examine what we think should be the topics of Sets and Logics so as to form a basis and toolbox for other courses such as automata and formal languages, databases, verification, formal methods, AI, etc


Tenth Vienna Tbilisi Summer School in Logic and Language

Also this year, the KGS organizes a summer school taking place in Tbilisi, Georgia. In September 2014 the Tenth Vienna Tbilisi Summer School in Logic and Language will bring courses to various topics to students. Please visit the web site of the summer school for more information: www.logic.at/tbilisi14/.


Vienna Summer of Logic 2014

The Kurt Gödel Society is proud to announce the Vienna Summer of Logic 2014, taking place in July 2014 in Vienna.

With over 2000 expected participants, the Vienna Summer of Logic 2014 (VSL) will be the largest event in the history of logic. It will consist of twelve large conferences and numerous workshops, attracting researchers from all over the world. You can find out more at the official website.


Workshop on Proofs as Processes

http://www.jaist.ac.jp/~preining/wpp/

The Workshop on Proofs as Processes will be held with the support of the School of Information Science, Logic Group, Japan Advanced Institute of Science and Technology (JAIST) and a Royal Society Daiwa Anglo-Japanese Foundation International Exchanges Award, at the building of the Modern Literature Museum (石川四高記念文化交流館) in Kanazawa on 20th and 21st January, 2014.

The workshop's aim is to function as a kick-off meeting for a long-term project on extending the classical Curry-Howard correspondence to hypersequent calculus and parallel processes. It will bring together scientists working on the various related fields who are interested in collaborating in the project.