!!! Important directions for the participants -- click here for more information for the participants before arrival.

Conference Announcement and Call for Papers

On the occasion of the ninetieth anniversary of the birth of Kurt Gödel, an international conference entitled

Logical Foundations of Mathematics, Computer Science and Physics
-- Kurt Gödel's Legacy (GÖDEL'96)

will take place on August 25-29, 1996, in Brno, Czech Republic (the birthplace of Kurt Gödel).

Aims and topics: The aim of the conference is to pay tribute to Kurt Gödel by arranging a scientific event presenting a forum for papers relevant to foundational aspects of Logic in Mathematics, Computer Science, Philosophy and Physics -- areas influenced by Kurt Gödel's work. A session is planned to honour Professor Hao Wang, one of Gödel's closest collaborators, who died on May 13, 1995.

The proceedings volume will be published by Springer-Verlag in the Lecture Notes in Logic Series and distributed at the conference. (The deadline for contributions already has expired.) Organizers: The conference is organized by Masaryk University (Organizing Committee chaired by J.Zlatuska) in co-operation with the Institute of Computer Science of the Academy of Sciences of the Czech Republic, and with the international Kurt Gödel Society (based in Vienna).

Contact addresses:

Programme and submissions (full draft papers):
Petr Hájek, Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vodárenskou vezí 2, 182 07 Prague, Czech Republic;
e-mail: goedel96-program@uivt.cas.cz,
telephone: +42-2-66051111, +42-2-66414244, +42-2-66413418;
fax: +42-2-8585789.

Jirí Zlatuska, Faculty of Informatics, Masaryk University, Buresova 20, 602 00 Brno, Czech Republic;
e-mail: goedel96@informatics.muni.cz,
telephone: +42-5-41213125, +42-5-41211646, +42-5-41213219,
fax: +42-5-41212747.

WWW: http://www.fi.muni.cz/~zlatuska/goedel96.html

Programme Committee:

Z. Adamowicz, Warsaw
J. Bicák, Prague
L. Bukovský, Kosice
D. de Jongh, Amsterdam
J. Grygar, Prague
E. Köhler, Vienna
J. Krajícek, Prague
P. Hájek (chair), Prague
A. Leitsch, Vienna
D. Mundici, Milano
G. Müller, Heidelberg
J. Paris, Manchester
C. Parsons, Harvard

Invited Speakers include:

M. Baaz,
G.F.R. Ellis,
S. Feferman,
D. Isaacson,
B. Kushner,
M. Magidor,
C. Parsons,
P. Pudlák,
W. Sieg,
G. Takeuti,
A. Visser.

Click here for the programme of the conference.

Official Sponsors:

ASL -- Association for Symbolic Logic
EACSL -- European Association for Computer Science Logic
IUHPS/DLMPS -- International Union of History and Philosophy of Science - Division Logic, Methodology and Philosophy of Science
UNU/IIST -- The United Nations University, International Institute for Software Technology, Macau Austrian institute
Hewlett-Packard czech Republic IBM Czech Republic
ZPA-CZ Trutnov, Czech Republic

Important dates:

Submission deadline: January 14, 1996 (the anniversary of Gödel's death)
Acceptance/rejection notices: March 21, 1996
Final versions of papers due: April 28, 1996 (Gödel's birthday)
Conference dates: August 25-29, 1996

Click here for PostScript version of Call for Papers announcement (the deadline for submissions already expired)

Click here for registration form

!!! Important directions for the participants -- click here for more information for the participants before arrival.