Reasons why we would be happy to host TPHOLs 2008
- RISC has a long tradition in doing research in the area of symbolic
computation (e.g. the theory of
is a brain child of RISC which you might know),
- Theorem proving in higher order logic is essential to
- RISC has always contributed also to the international research
management in symbolic computation (e.g. by
Journal of Symbolic Computation
- There will be several other Logic and Symbolic Computation related
events at RISC in summer 2008:
RISC has a long tradition in hosting international conferences
in all areas of symbolic computation (e.g.
parts of the Gröbner Bases Special Semester 2006,
33 years of Gröbner Bases Conference
, PASCO 98,
) and will be organizing a number of events this year in the frame of
RISC Summer 2007
so that experienced staff is available for the organization,
In front of the RISC castle
In the lecture hall
we like to show visitors our beautiful country with all its
and scenic attractions (See
- the historic Castle of Hagenberg, which is the home of RISC, is
an attractive and unique environment for conferences.
Venue The conference venue, the
Castle of Hagenberg, is an 800 years old castle that has
recently been remodeled and is the site of RISC and also
the center of the RISC-spin-off "Software Park Hagenberg".
The castle is located in a very scenic part of Austria.
There will be frequent small shuttle busses between the
Hagenberg campus and downtown Linz during the whole day.
Conference Hall of the Castle
View from within the Conference Hall
Bird's-Eye View of Castle of Hagenberg
(RISC Institute, Conference Hall, Castle Restaurant, and Chapel)
Bird's-Eye View of RISC and Softwarepark
TPHOLs could take place e.g. before RTA in the week from July 7 to 11.
However, we would also try to coordinate with any logic-related
events of the
Vienna logic group.
Four days (Tue - Fri) with an additional first day (Mo) for
tutorials and possibility for pre- and post-conference special workshops and
Visiting programs before and after the conference (Vienna, Salzburg,
Salzkammergut) and/or a joint afternoon tour to one of the scenic places in
Upper Austria can be arranged on request.
Some Views of the Salzkammergut
Conference organisers at RISC would include
We are open for any proposal but Bruno Buchberger is ready to serve as the
general conference chairman if the TPHOLs community wants him to
Open for a proposal from the TPHOLs steering committee.
From past experience, we expect conference fees of around 300
EUR for regular registrations, including all preparation, web site and announcements,
organization, registration, hotel arrangement, lunches, coffee breaks,
internet, proceedings, etc. but not accommodation costs.
We expect to be able to raise funds from sponsors to allow students to
participate at a reduced rate.
Austria is in the center of Europe and Linz/Hagenberg (half way
between Vienna and Salzburg) is easy to reach by plane, train, and car.
Daily flights from and to Vienna, Frankfurt, London-Stansted,
Düsseldorf, Graz, Salzburg.
- Highway from
Vienna and Munich.
Martin Giese, martin.giese (at) risc.uni-linz.ac.at