KGS is proud to be a supporter of the workshop on Mathematical Foundations of Fuzzy Logics, a satellite of the MFCS and CSL 2010 Conference, in Brno on August 28, 2010.

Links: Homepage of the workshop, List of lectures.

The summer school in Tbilisi continues. In September 2010 the Sixth 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/tbilisi10/.

A workshop within the Collegium Logicum lecture series on Proofs and Structure organized by the KGS will take place in Vienna on Tuesday, 2 February 2010. Please have a look at the workshop webpage for program and more details.

The summer school in Tbilisi continues. In September 2009 the Fifth 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/tbilisi09/.

June 29th - July 2nd 2009

kgs.logic.at/logic-computation09

This workshop brings together eminent researchers in the area of Logic and Computation and continues a successful series of joint workshops organised by Steklov Institute Moscow and Vienna University of Technology. The workshop will cover a variety of topics in theoretical and applied logic centered around the notions of proof and computation:

Topics include but are not restricted to proof theory, constructive logics, realizability, modal logic, Lambek calculus and linear logic, provability logics and algebras, formal arithmetic and fragments, methods of automated and interactive proof search, categorial grammars and other applications in linguistics, fuzzy logic and epistemic reasoning, proof complexity, computational complexity.

A workshop within the Collegium Logicum lecture series on Constraint Satisfaction Problems and Many-Valued Logics will take place in Vienna on Wednesday 27 March and Thursday 28 March 2009. Please have a look at the workshop webpage for program and more details.

The summer school in Tbilisi continues. In September 2008 the Fourth 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/tbilisi08/.

This workshop brings together many important researchers in Fuzzy Logics and Applications. It will be held on 23 July 2008. Program:

2pm Arnon Avron: Truth-values as Information carriers (invited lecture)

3pm Anna Zamansky : Non-deterministic Matrices for languages with quantifiers (invited lecture)

4pm break

4.15pm George Metcalfe: Structural Completeness for Fuzzy Logics

4.45pm Thomas Vetterlein: Implication-less fuzzy logics and their

application in medicine

5.15pm break

5.30pm Agata Ciabattoni: From axioms to analytic rules in nonclassical logics

6.00pm Matthias Baaz: CERES and beyond

6.30pm closure

A workshop within the Collegium Logicum lecture series on Logical Models of Reasoning with Vague Information organized by the KGS will take place in Vienna on Thursday 27 March 2008. Please have a look at the workshop webpage for program and more details.

Truth-functional logics are the central topic of this workshop.

Please see the Workshop web site for more details.

A workshop within the Collegium Logicum lecture series on proofs and structured organized by the KGS will take place in Vienna on Wednesday 24 October 2007 and Thursday 25 October 2007. Please have a look at the workshop webpage for program and more details.

Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop is primarily intended to enhance awareness for its topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues.

Please see the Workshop web site for more details.

The summer school in Tbilisi continues. In September 2007 the Third 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/tbilisi07/.

This workshop brings together eminent researchers in the area of Logic and Computation.: kgs.logic.at/logic-computation07/.

The summer school in Tbilisi continues. In September 2006 the Second 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/tbilisi06/.

The purpose of the Symposium is to commemorate the life, work, and foundational views of Kurt Gödel, perhaps the greatest logician of the twentieth century. In the spirit of Gödel's work, the Symposium will also explore current research advances and ideas for future possibilities in the fields of the foundations of mathematics and logic. The symposium intends to put Gödel's ideas and works into a more general context in the light of current understanding and perception. The symposium will also present various implications of his work for other areas of intellectual endeavor such as artificial intelligence, cosmology, philosophy, and theology. Please have a look at the conference webpage for more information.

International Conference on the Algebraic and Logical Foundations of Many-Valued Reasoning, in honour of Daniele Mundici on the occasion of his 60th birthday, Gargnano (Italy) March 20-22, 2006.

Please have a look at the conference webpage for more information.

A two days workshop on Proof Theory and Proof Complexity in Prague, at the Academy of Sciences, 11-12 January 2006.

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

The second Florence - Vienna workshop on Logic and Computation was held in the mathematics department "Ulisse Dini" of the University of Florence from November 2-5, 2005. Program

The First Vienna Tbilisi Summer School in Logic and Language was held in Tbilisi, Georgia, in September 2005. Please see the conference web site for more information: www.logic.at/tbilisi05/.

A workshop within the Collegium Logicum lecture series on cut-elimination organized by the KGS took place in Vienna from Monday, July 4 till Wednesday, July 6 2005. Please have a look at the workshop webpage for more information.

Workshop schedule.

Please see here for all information.

Held in Paris on 13 and 14 December 2004. Here is a copy of the program.

Held 15-18 November 2004, King's College London. Organizers: M. Baaz and D. Gabbay. Here is a copy of the program.

This workshop is intended to bring together the most relevant European scientists from the fields of logic, mathematics, computer science and engineering. Their combined knowledge should lead to the developement and standardization of semantic concepts for fuzzy logic adequate both from the foundational and applicative point of view.

The third international Moscow - Vienna Workshop on Logic and Computation took place at V. A. Steklov Mathematical Institute of Russian Academy of Sciences in Moscow from 31. May - 1. June 2004. It provided a podium for a presentation of the ongoing cooperation between Moscow and Vienna groups of researchers in the fields of mathematical logic and computation theory at Steklov Mathematical Institute, Vienna University of Technology and Moscow State University.

The first Florence - Vienna workshop on Logic and Computation was held in the mathematics department "Ulisse Dini" of the University of Florence from 27 - 30 January, 2004. Program

In 2003 the Conference on Logic for Programming, Artificial Intelligence and Reasoning was held in Georgia and was coorganized by the KGS. Please see here for more information.

In August 2003 the 15th European Summer School in Logic, Language and Information was held in Vienna.

In August 2003 the Computer Science Logic 2003 and 8th Kurt Gödel Colloquium was held in Vienna.

In 2002 the Conference on Logic for Programming, Artificial Intelligence and Reasoning was held in Georgia and was coorganized by the KGS. Please see here for more information.

This workshop was held in Moscow in April 2002.

The LC2001, the 2001 European Summer Meeting of the Association of Symbolic Logic (ASL) took place in Vienna from Monday, August 6 and till Saturday, August 11. The conference venues were the Vienna University of Technology and the University of Vienna.

These venues were chosen to celebrate the 70th anniversary of the publication of Gödel's famous Incompleteness Theorem. In 1931 Kurt Gödel was working in Vienna and lecturing at the University of Vienna.

The Logic Colloquium is the major international conference which integrates all fields of mathematical logic and its applications. Owing to its interdisciplinary and foundational character, it brings together outstanding researchers and students not only in classical logic, but also in fields such as theoretical computer science, computational logic, artificial intelligence, linguistics, and philosophy of logic and mathematics. The Logic Colloquium provides an important opportunity for young researchers to disseminate their results and to obtain feedback both from their peers and from senior members of the community.

The scientific program of the conference encompassed 24 lectures, from prominent researchers like Shelah, Woodin, H. Friedman, Magidor. This conference was organized in cooperation with the Institute for Logic of the University of Vienna.

This workshop was held in December 2000 in Moskow an brought together many renowned and young researchers from Vienna, especially the Vienna University of Technology, and Moscow, especially the Steklov Insitute.

Fuzzy logics are an important topic in the intersection of logic and computer science. Many national and European research projects focus on questions concerning efficient proof search strategies and algebraic properties of these logics.

The workshop brought together leading experts and young researchers in the field. It provided a forum for the exchange of ideas and new results.

This workshop was held in extension of a bilateral exchange project between Austria and Italy.

The workshop was held from May 5-6, 2000 in Vienna.

The 6th Kurt Gödel Colloquium was held from Wednesday, June 16th, to Saturday, June 19th, 1999, at the Casa de la Caritat, Barcelona. There were ten invited lectures held by international renowned researchers (Vincent Danos, Lou van den Dries, Mathew Foreman, Itsvan Juhasz, Byunghan Kim, Leonid Libkin, Angus Macintyre, Hiroakira Ono, Don Pigozzi, Jean Pierre Ressayre) and twentyfive contributed lectures.

The 5th Kurt Gödel Colloquium "Computational Logic and Proof Theory&quot was held from Monday, August 25 till Friday, August 29, 1997, in Vienna, Austria. The focus of the Conference - "Computational Logic and Proof Theory" - has attracted a lot of researchers tackling classical problems and finding new methods for long known questions in the field. There were seven invited lectures held by international renowned researchers (Leo Bachmair, Wilfried Buchholz, Samuel R. Buss, Walter A. Carnielli and P. R. S. Veloso, John A. Robinson, Tanel Tammet, Jerzy Tiuryn) and twenty contributed lectures. The <!-- proceedings --> proceedings have been published by Springer Verlag, LNCS 1289.