<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1">
<title></title>
</head>
<body text="#000000" bgcolor="#ffffff">
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 17.5pt;">Horizons</span></b><b><span
style="font-size: 19pt;"> </span></b><b><span
style="font-size: 17.5pt;">of Truth</span></b><b><span
style="font-size: 19pt;"><o:p></o:p></span></b></p>
<p class="MsoNormal" style=""><b><span style="font-size: 19pt;"><o:p> </o:p></span></b></p>
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 12.5pt;">Logics, Foundations
of Mathematics, and the Quest for Understanding the Nature of Knowledge<o:p></o:p></span></b></p>
<p class="MsoNormal" style=""><b><span style="font-size: 14pt;"><o:p> </o:p></span></b></p>
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 17.5pt;">Gödel Centenary
2006<o:p></o:p></span></b></p>
<p class="MsoNormal" style="margin-left: 36pt; text-indent: 36pt;"><b><span
style="font-size: 12.5pt;">
An International
Symposium Celebrating the 100th</span></b><span
style="font-size: 12.5pt;"><o:p></o:p></span></p>
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 12.5pt;">Birthday of Kurt
Gödel</span></b><span style="font-size: 12.5pt;"><o:p></o:p></span></p>
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 11pt;">27.-29. April 2006 <i>Festsaal
</i>of the <st1:place w:st="on"><st1:PlaceType w:st="on">University</st1:PlaceType>
of <st1:PlaceName w:st="on">Vienna</st1:PlaceName></st1:place><o:p></o:p></span></b></p>
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 11pt;"><o:p> </o:p></span></b></p>
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 11pt;">Organized by the
Kurt Gödel Society<o:p></o:p></span></b></p>
<p class="MsoNormal" align="center" style="text-align: center;"><b><span
style="font-size: 11pt;"><o:p> </o:p></span></b></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;">The Symposium will take
place April 27- 29 in the Celebration Hall of the <st1:place w:st="on"><st1:PlaceType
w:st="on">University</st1:PlaceType> of <st1:PlaceName w:st="on">Vienna</st1:PlaceName></st1:place>,
famous for its architectural beauty and Gustav Klimt’s murals. More
than 20
lectures by eminent scientists in the fields of logics, mathematics,
philosophy, physics, cosmology, and theology will provide new insights
into the
life and work of Kurt Gödel and their implications for future
generations. <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;">A young researchers’
competition will allow 10 young researchers to present their projects
to an
eminent audience, the awards being presented at <st1:place w:st="on"><st1:PlaceName
w:st="on">Belvedere</st1:PlaceName> <st1:PlaceType w:st="on">Palace</st1:PlaceType></st1:place>
on Friday, April 28, Kurt Gödel's 100th birthday. The first prize in
the amount
20 000 EUR will be awarded to the best project, followed by two
additional
prizes of 5000 EUR each.</span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;">Call for project submissions:
<a class="moz-txt-link-freetext" href="http://www.logic.at/goedel2006/index.php?students">http://www.logic.at/goedel2006/index.php?students</a></span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;">A poster session, containing
presentations of selected posters will be held in the Small Celebration
Hall,
and the Senate Hall of the <st1:place w:st="on"><st1:PlaceType
w:st="on">University</st1:PlaceType> of <st1:PlaceName w:st="on">Vienna</st1:PlaceName></st1:place>.
The poster
volume will be published by the Kurt Gödel Society after the Symposium
and sent
to all authors.</span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;">Call for posters:
<a class="moz-txt-link-abbreviated" href="http://www.logic.at/goedel2006/index.php?posters">www.logic.at/goedel2006/index.php?posters</a> <o:p></o:p></span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;">An exhibition on Gödel’s
life and work will be held in the old library of the <st1:place
w:st="on"><st1:PlaceType w:st="on">University</st1:PlaceType> of <st1:PlaceName
w:st="on">Vienna</st1:PlaceName></st1:place>
throughout the Symposium.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;"><o:p> </o:p></span></p>
<p class="MsoNormal" style=""><span style="font-size: 9pt;">Honorary
Chair: <b>Gaisi Takeuti</b>, <st1:place w:st="on"><st1:PlaceType
w:st="on">University</st1:PlaceType> of <st1:PlaceName w:st="on">Tsukuba</st1:PlaceName></st1:place>,
President of the Kurt Gödel Society<o:p></o:p></span></p>
<p class="MsoNormal" style=""><span style="font-size: 9pt;">Invited
Speakers:<o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">John D.
Barrow</span></b><span style="font-size: 9pt;">,
<st1:place w:st="on"><st1:PlaceType w:st="on">University</st1:PlaceType>
of <st1:PlaceName w:st="on">Cambridge</st1:PlaceName></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Gregory
J. Chaitin</span></b><span style="font-size: 9pt;">, <st1:place
w:st="on"><st1:City w:st="on">IBM Thomas J. Watson Research Center</st1:City>,
<st1:State w:st="on">New York</st1:State></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b style=""><span style="font-size: 9pt;">Paul
Cohen</span></b><span style="font-size: 9pt;">, <st1:place w:st="on"><st1:PlaceName
w:st="on">Stanford</st1:PlaceName> <st1:PlaceType w:st="on">University</st1:PlaceType></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Jack
Copeland</span></b><span style="font-size: 9pt;">,
<st1:place w:st="on"><st1:City w:st="on">University of Canterbury</st1:City>,
<st1:country-region w:st="on">New Zealand</st1:country-region></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">George
Ellis</span></b><span style="font-size: 9pt;">, <st1:place w:st="on"><st1:PlaceType
w:st="on">University</st1:PlaceType> of <st1:PlaceName w:st="on">Cape
Town</st1:PlaceName></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Solomon
Feferman</span></b><span style="font-size: 9pt;">,
<st1:place w:st="on"><st1:PlaceName w:st="on">Stanford</st1:PlaceName> <st1:PlaceType
w:st="on">University</st1:PlaceType></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Harvey
Friedman</span></b><span style="font-size: 9pt;">,
<st1:place w:st="on"><st1:PlaceName w:st="on">Ohio</st1:PlaceName> <st1:PlaceType
w:st="on">State</st1:PlaceType> <st1:PlaceType w:st="on">University</st1:PlaceType></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Ivor
Grattan-Guinness</span></b><span style="font-size: 9pt;">, <st1:place
w:st="on"><st1:PlaceName w:st="on">Middlesex</st1:PlaceName> <st1:PlaceType
w:st="on">University</st1:PlaceType></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Petr
Hajek</span></b><span style="font-size: 9pt;">, <st1:PlaceType
w:st="on">Academy</st1:PlaceType> of <st1:PlaceName w:st="on">Sciences</st1:PlaceName>
of the <st1:place w:st="on"><st1:PlaceName w:st="on">Czech</st1:PlaceName>
<st1:PlaceType w:st="on">Republic</st1:PlaceType></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Juliette
Kennedy</span></b><span style="font-size: 9pt;">,
<st1:place w:st="on"><st1:PlaceType w:st="on">University</st1:PlaceType>
of <st1:PlaceName w:st="on">Helsinki</st1:PlaceName></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Ulrich
Kohlenbach</span></b><span style="font-size: 9pt;">, <st1:place
w:st="on"><st1:PlaceName w:st="on">Darmstadt</st1:PlaceName> <st1:PlaceType
w:st="on">University</st1:PlaceType></st1:place> of Technology<o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Georg
Kreisel</span></b><span style="font-size: 9pt;">,
Royal Society<o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Angus
John Macintyre</span></b><span style="font-size: 9pt;">, Royal Society<o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Piergiorgio
Odifreddi</span></b><span style="font-size: 9pt;">, <st1:place
w:st="on"><st1:PlaceType w:st="on">University</st1:PlaceType> of <st1:PlaceName
w:st="on">Turin</st1:PlaceName></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Christos
H. Papdimitiriou</span></b><span style="font-size: 9pt;">, <st1:PlaceType
w:st="on">University</st1:PlaceType>
of <st1:PlaceName w:st="on">California</st1:PlaceName>, <st1:City
w:st="on"><st1:place w:st="on">Berkeley</st1:place></st1:City><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Roger
Penrose</span></b><span style="font-size: 9pt;">,
<st1:place w:st="on"><st1:PlaceType w:st="on">University</st1:PlaceType>
of <st1:PlaceName w:st="on">Oxford</st1:PlaceName></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Hilary
Putnam</span></b><span style="font-size: 9pt;">,
<st1:place w:st="on"><st1:PlaceName w:st="on">Harvard</st1:PlaceName> <st1:PlaceType
w:st="on">University</st1:PlaceType></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Wolfgang
Rindler</span></b><span style="font-size: 9pt;">,
<st1:PlaceType w:st="on">University</st1:PlaceType> of <st1:PlaceName
w:st="on">Texas</st1:PlaceName>,
<st1:City w:st="on"><st1:place w:st="on">Dallas</st1:place></st1:City><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Dana
Scott</span></b><span style="font-size: 9pt;">, <st1:place w:st="on"><st1:PlaceName
w:st="on">Carnegie</st1:PlaceName> <st1:PlaceName w:st="on">Mellon</st1:PlaceName>
<st1:PlaceType w:st="on">University</st1:PlaceType></st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Avi
Wigderson</span></b><span style="font-size: 9pt;">,
Institute for Advanced Study, <st1:place w:st="on">Princeton</st1:place><o:p></o:p></span></p>
<p class="MsoNormal" style=""><b><span style="font-size: 9pt;">Hugh
Woodin</span></b><span style="font-size: 9pt;">, <st1:PlaceType
w:st="on">University</st1:PlaceType> of <st1:PlaceName w:st="on">California</st1:PlaceName>,
<st1:City w:st="on"><st1:place w:st="on">Berkeley</st1:place></st1:City><o:p></o:p></span></p>
<p class="MsoNormal" style=""><span style="font-size: 9pt;">Invited
Presentation: <b style="">Andrei Voronkov</b>, <st1:place w:st="on"><st1:PlaceType
w:st="on">University</st1:PlaceType> of <st1:PlaceName w:st="on">Manchester</st1:PlaceName></st1:place>
and
Microsoft</span><span style="font-size: 8pt;"><o:p></o:p></span></p>
<p class="MsoNormal" style=""><span style="font-size: 8pt;"><o:p> </o:p></span></p>
<p class="MsoNormal" style=""><b style=""><span style="font-size: 14pt;">Web
and
registration: <a class="moz-txt-link-freetext" href="http://www.logic.at/goedel2006/">http://www.logic.at/goedel2006/</a><o:p></o:p></span></b></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 9.5pt;"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-align: justify;"><span
style="font-size: 8pt;"><o:p> </o:p></span></p>
</body>
</html>