Computational Logic
conferences

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/.

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.

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.

© 2004 DMG-FG2 Group, Arnold Beckmann, Norbert Preining