[Prev][Next][Index][Thread]
GOEDEL'96 - Conference Programme
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
Conference Announcement, Programme and Registration Form
***********************************************************
On the occasion of the ninetieth anniversary of the birth of Kurt Goedel,
an international conference entitled
LOGICAL FOUNDATIONS OF MATHEMATICS, COMPUTER SCIENCE AND PHYSICS
-- Kurt Goedel's Legacy (GOEDEL'96)
will take place on August 25-29, 1996, in Brno, Czech Republic
(the birthplace of Kurt Goedel).
Aims and topics:
The aim of the conference is to pay tribute to Kurt Goedel
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 Goedel's
work.
A session is planned to honour Professor Hao Wang, one of Goedel's
closest collaborators, who died on May 13, 1995. The
proceedings volume will be published by Springer-Verlag in
the series Lecture Notes in Logic and distributed at the
conference. (The deadline for contributions has already 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 Goedel Society (based in Vienna).
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
ZPA-CZ Trutnov, Czech Republic
Programme Committee:
Z. Adamowicz, Warsaw
J. Bicak, Prague
L. Bukovsky, Kosice
D. de Jongh, Amsterdam
J. Grygar, Prague
E. Koehler, Vienna
J. Krajicek, Prague
P. Hajek (chair), Prague
A. Leitsch, Vienna
D. Mundici, Milano
G. Mueller, Heidelberg
J. Paris, Manchester
C. Parsons, Harvard
Preliminary Conference Programme
////////////////////////////////
Sunday, August 25
-----------------
10,00 - 20,00 - Registration
17,00 - 20,00 - Welcome Reception
Monday, August 26
------------------
7,30 - 8,30 - Breakfast
8,30 - 18,00 - Registration
9,00 - 10,30 - Opening Ceremony and Session 1
Opening
Solomon Feferman (invited talk):
Goedel's Program For New Axioms: Why, Where,
How and What? (Opening lecture.)
Andrzej M. Zarach:
Replacement -/-> Collection
10,30 - 11,00 - Coffee break
11,00 - 12,30 - Session 2
G. Takeuti and M. Yasumoto (invited talk):
Forcing on Bounded Arithmetic
Jan Johannsen:
A Bounded Arithmetic Theory for Constant Depth Threshold Circuits
Paul Taylor:
Towards a Unified Treatment of Induction I:
The General Recursion Theorem
12,30 - 14,00 - Lunch
14,00 - 15,30 - Session 3
Matthias Baaz (invited talk):
First-Order Goedel Logics
Leonard Paulik:
Best Possible Answer is Computable for Fuzzy SLD-Resolution
Ladislav J. Kohout and Wyllis Bandler:
Universality of BK-relational Products Based on Goedel-Heyting
Implication
15,30 - 16,00 - Tea break
16,00 - 18,00 - Session 4
M. Magidor (invited talk):
(title to be announced)
Satoko Titani:
A Lattice-Valued Set Theory
Anton Setzer:
A Model for a Type Theory with Mahlo Universe
Tuesday, August 27
------------------
7,30 - 8,30 - Breakfast
8,30 - 14,00 - Registration
9,00 - 10,30 - Session 5
Albert Visser (invited talk):
Layered Bisimulation and Uniform Interpolation
Dorella Belle and Franco Parlamento:
Decidability of the EA-class in the Membership Theory NWL*
Robert F. Staerk:
The Finite Stages of Inductive Definitions
10,30 - 11,00 - Coffee break
11,00 - 12,30 - Session 6
Pavel Pudlak (invited talk):
A Bottom-Up Approach to Foundations of Mathematics
Marcin Benke:
A Logical Approach to Complexity Bounds for Subtype Inequalities
Tadashi Araragi:
A Uniform Theorem Proving Tableau Method for Modal Logic
12,30 - 14,00 - Lunch
14,00 - Excursion to Kurdejov (concert), Milotice (chateau) and
Cejkovice (wine Cellar-including dinner)
Wednesday, August 28
--------------------
7,30 - 8,30 - Breakfast
8,30 - 18,00 - Registration
9,00 - 10,30 - Session 7
Charles Parsons (invited talk):
Hao Wang as Philosopher and Interpreter of Goedel
Xing Taotao:
Some Remarks on Hao Wang's Philosophy of Mathematics
Burton Voorhees:
Philosophical Issues Raised by Strong AI and the
Incompleteness Theorem
10,30 - 11,00 - Coffee break
11,00 - 12,30 - Session 8
George Ellis (invited talk):
Contributions of K. Goedel to Relativity and Cosmology
Giora Hon:
Completeness Has to Be Restricted: Goedel's Interpretation of the
Parameter t
Michael Stoeltzner:
Goedel and the Theory of Everything
12,30 - 14,00 - Lunch
14,00 - 15,30 - Session 9
Wilfried Sieg and John Byrnes (invited talk):
K-Graph Machines:
Generalizing Turing's Machines and Arguments
C. Anthony Anderson and Michael Gettings:
Goedel's Ontological Proof Revisited
Piergiorgio Odifreddi:
Goedel's Mathematics of Philosophy
15,30 - 16,00 - Tea break
16,00 - 18,00 - Session 10
D. Isaacson (invited talk):
(title to be announced)
Ralf Naumann:
The Problem of Objectivity: Goedel and Carnap
Realism versus Conventionalism?
Jari Palomaki:
From Concept Theory to Set Theory
19,30 - Final dinner (Wine Cellar of Queen Elisabeth)
Thursday, August 29
--------------------
7,30 - 8,30 - Breakfast
8,30 - 13,00 - Registration
9,00 - 10,30 - Session 11
Boris A. Kushner (invited talk):
Kurt Goedel and the Constructive Mathematics
of A. A. Markov
Alexander D. Yashin:
A New Intuitionistic Logical Constant and Novikov Completeness
Benjamin Blankertz and Andreas Weiermann:
How to Characterize Provably Total Functions by
the Buchholz' Operator Method
10,30 - 11,00 - Coffee break
11,00 - 12,00 - Session 12 and conclusion
Lars Kristiansen:
Information Content and Computational Complexity of Recursive Sets
Robert K. Meyer:
Kurt Goedel and the Consistency of R##
Closing of the conference
12,30 - 14,00 - Lunch
Contact addresses:
Programme committee chairman:
Petr Hajek
Institute of Computer Science
Academy of Sciences of the Czech Republic
Pod vodarenskou vezi 2
CZ-182 07 Prague
Czech Republic
e-mail: goedel96-program@uivt.cas.cz
telephone: +42-2-66053760, +42-2-6884244
fax: +42-2-8585789
Organization:
Jiri Zlatuska
Faculty of Informatics
Masaryk University
Botanicka 68a
CZ-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
--------------------------------------------------------------------------------
Please note that in the registration form below, a misleading formulation
found within the original form was clarified. Basic accommodation was
INCLUDED in the registration fee.
Unless shared accomodation has been requested, the accomodation provided
is single person in a double-bed room. No extra accomodation cost is
therefore required for one accompanying person. If more rooms are needed,
please add the accomodation cost for each double room requested.
The registration fee includes breakfast and lunch for participants of the
conference. Additional breakfasts and/or lunches for accompanying persons
can be ordered at the conference registration desk during the
conference.
--------------------------------------------------------------------------------
REGISTRATION FORM
GOEDEL'96
LOGICAL FOUNDATIONS OF MATHEMATICS, COMPUTER SCIENCE AND PHYSICS
August 25-29, 1996, Brno, Czech Republic
IMPORTANT
* Completed registration forms should NOT be e-mailed. Paper
copies should be sent to the correspondence address (at the
bottom of this form).
* The registration form can only be accepted if accompanied by
full payment.
* One participant per registration form.
REGISTRATION DETAILS:
Prof/Dr/Mr/Mrs/Ms/Miss: _______________________________________
Surname: ____________________________________________________
Given Name: __________________________________________________
Position/Title: _______________________________________________
Department: __________________________________________________
Organisation: _________________________________________________
Address: ______________________________________________________
State: _______________________________________________________
Postcode: ____________________________________________________
Country: _____________________________________________________
E-mail: _______________________________________________________
Business Telephone: (_____) ______________
Fax: (____) ____________
Preferred Name for Badge: _____________________________________
SPECIAL REQUIREMENTS:
Special Diet: ________________________________________________
Other: _______________________________________________________
ACCOMMODATION: Please indicate if required (tick):
( ) University guest hotel
Accomodation Type:
( ) Single Person in Double Room - $20 for one night
$20 per night; five nights INCLUDED in registration fee
From: __________ To: ___________ # of nights: ________
Insert only ADDITIONAL cost for extra nights: TOTAL : $ ________
( ) Double (2 sharing one room)
$50 for one person sharing a room for 5 nights
From 25.8. to 29.8. (5 nights) : $50
Room sharing prefered with: ___________________
Sorry -- no additional nights can be guaranteed.
( ) Reduced full-time student conference fee --
accomodation for four night included in the
reduced fee package, see below.
( ) Hotel *** "Continental"
Reservation required:
From: __________ To: ___________ # of nights: ________
Price approx. $70 per night.
Reservation required before June 1, 1995.
Payment details will be sent separately.
DEDUCT $100 from your registration fee when choosing this.
Arrival: Departure: Arrival time:
REGISTRATION FEES Received Received TOTAL
by after
21/3/1996 21/3/1996
Members of ( ) KGS, ( ) ASL, ( ) EACSL, ( ) IUHPS/DLPMS, ( ) CSIS (tick one)
indicate membership number: _________________
Conference Fee $350.00 $380.00 $ _______
Conference Fee shared room $300.00 $330.00 $ _______
Conference Fee without accom. $250.00 $280.00 $ _______
Others:
Conference Fee $380.00 $400.00 $ _______
Conference Fee shared room $330.00 $350.00 $ _______
Conference Fee without accom. $280.00 $300.00 $ _______
Full-time student package:
Reduced conference fee covering
conference attendance and five
nights in shared room: $140.00 $190.00 $ _______
Reduced student fee does not include conference
proceedings copy.
Attach written statement your university certifying
your full-time student status.
Excursion: $30 per person; # of persons: _________ TOTAL: $ ________
TOTAL TO BE PAYED.......................................... USD $ ________
METHOD OF PAYMENT (All payments in US dollars)
( ) A Credit Card
Tick Card Type: ( ) VISA
( ) MC/EC
Card no. ________________ Expiration ____/____
Cardholder's Name: ________________________________
Cardholder's Signature ______________________________
( ) B Bank Cheque/Eurocheque payable in US dollars to "Faculty
of Informatics, Masaryk University" (enclosed)
( ) C Bank transfer to:
Bank: Komercni banka Praha, branch Brno
Account holder: Masaryk University
Account Number: 85 636-621/0100
Date of transfer:
(copy of bank transfer confirmation enclosed)
Send completed form with you payment to the following address:
Dr Jiri Zlatuska
GOEDEL'96
Faculty of Informatics
Masaryk University
Botanicka 68a
CZ-602 00 Brno
Czech Republic
-------------------------------------------------------------------
A limited number participants from economically severely handicapped
countried can be supported by the organizers by allowing registration
for student fee. Send your application for financial assistance
electronically to <zlatuska@muni.cz>, or to the above address, if
electronic connection cannot be used.
.
Milan Daniel
Institute of Computer Science, Academy of Sciences of the Czech Rep.
Pod vodarenskou vezi 2, 182 07 Prague 8, Czech Republic
e-mail: milan@uivt.cas.cz
phone: (+ 42 2) 66053921
fax: (+ 42 2) 8585789