Proof Society Workshop and Winter School in Funchal, Madeira

The KGS organizes the 3rd Workshop on Proof Theory and its Applications and the 3rd International Winter School on Proof Theory, which will take place from the 29th of November to the 3rd of December in Funchal, Madeira, under the auspices of The Proof Society. Please visit the official website for more information.

LATD 2020

The Kurt Gödel Society is organizing the Conference on Logic, Algebra and Truth Degrees - LATD 2020 in Tbilisi, Georgia. The conference will take place September 14-18, 2020 and will be affiliated with Tbilisi 2020, the Sixteenth International Tbilisi Summer School on Logic and Language.

The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.There will be eight invited speakers.

More information can be found here.

Workshop on Proof Theory and Automated Deduction in Funchal, Madeira

The KGS organizes a workshop Proof Theory for Automated Deduction - Automated Deduction for Proof Theory in Funchal, Madeira in October 2019. The aim of this workshop is to bring together international and Portuguese logicians, mathematicians and computer scientists. For more information please visit https://kgs.logic.at/madeira2019/.

Tbilisi Summer School in Logic and Language 2019

Also this year, the KGS organizes a summer school taking place in Tbilisi, Georgia. In September 2019 the Fifteenth 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: https://www.logic.at/tbilisi19/.

Conference on Kurt Goedel's Legacy

The Kurt Goedel Society intends to celebrate the 70th anniversary of Goedel’s seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria.

Kurt Goedel’s Legacy: Does Future lie in the Past?
July 23-27, 2019
University of Vienna, Austria
https://kgs.logic.at/goedels-legacy/

This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence.
The conference will be enhanced with a special exhibition about life and work of Kurt Goedel with emphasis on the Goedel's solution.

FISP Workshop (3rd FISP Meeting)

The Fine Structure of Formal Proof Systems and their Computational Interpretations Workshop (3rd FISP Meeting) brings together the project particpants from Austria and France to discuss recent work and work in progress. Moreover colleagues have been invited to present their work. The workshop is organized by the KGS.

Please visit the web site of the workshop for more information: http://dmg.tuwien.ac.at/baaz/workshop/.

Vienna Tbilisi Summer School in Logic and Language 2018

Vienna Tbilisi Summer School in Logic and Language 2018

Also this year, the KGS organizes a summer school taking place in Tbilisi, Georgia. In September 2018 the Fourteenth 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: https://www.logic.at/tbilisi18/.

Gold Medal posthumously awarded to Petr Hájek

On June 27 2017 (in the framework of the conference in the series Topology, Algebra and Categories in Logic, TACL 2017) the Kurt Gödel Society has presented the gold medal posthumously to the son and the daughter of Professor Petr Hájek, which was awarded for his eminent contribution to the field of logic and to the development of the Kurt Gödel Society, whose president Professor Petr Hájek has been for many years.

Vienna Tbilisi Summer School in Logic and Language 2017

Also this year, the KGS organizes a summer school taking place in Tbilisi, Georgia. In September 2017 the Thirteenth 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: https://www.logic.at/tbilisi17/.

Call for Applications

Applications are being invited for outstanding early-career scientists (2-8 years post PhD), interested in establishing their first independent research group in an interdisciplinary field, connecting Logic with Mathematics and Computer Science. In this context, the Logic and Theory group at TU Wien is looking for candidates working on the analysis on mathematical proofs.

We are seeking for outstanding candidates, who are interested to submit an application to the open call for young investigators of the Vienna Science and Technology Fund (WWTF): https://www.wwtf.at/upload/VRG17_web.pdf.

In the case of a successful application, the research group will be funded for 6-8 years, with up to 1.6 million EUR by the WWTF, supplemented by an additional contribution from the University. After a successful interim evaluation, TU Wien will offer a tenure-track position to the group leader.

Requirements: Applicants should have an excellent track record demonstrating the innovative application of mathematical methods in Theoretical Computer Science. Application procedure: For a first step, informal inquiries, including a short CV with publication list, list of research projects and potential topics for a WWTF grant application should be sent to Agata Ciabattoni agata@logic.at as soon as possible but no later than June 28, 2017.

Female applicants are explicitly encouraged to apply!

Vienna, May 15 2017