Castle of Hagenberg |
Bid for hostingTPHOLs 2003The 16th International Conference on Theorem Proving in Higher Order Logicshttp://www.risc.uni-linz.ac.at/conference/tphols2003/
|
|
Reasons why we are happy to host TPHOLs 2003
Vienna Salzburg 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.
Dates:Flexible. Can be negotiated. Any time in July, August, or September 2003 is fine with us. In fact, these three months are the most pleasant ones for traveling to Austria.Format:Four days (Tue - Fri) with an additional first day (Mo) for tutorials and possibility for pre- and post-conference special workshops and meetingsVisiting 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 Organisers:Conference Chair: We are open for any proposal but Bruno Buchberger is ready to serve as the general conference chairman if the TPHOL community wants him to do that.Program Committee Chairman: Open for a proposal from the TPHOLs steering committee. Organizing Staff: Martina May, head of the Hagenberg Congress management group. Proceedings:We will organize publication as a Springer LNCS volume. We have excellent contacts to Springer Heidelberg and Vienna through our own RISC book series.The RISC book series with Springer Conference Fee:300 Euros (includes all preparation, web site and announcements, organization, registration, hotel arrangement, lunches, coffee breaks, internet, proceedings, etc.) but n o t hotel costs.Invited Speakers:RISC will cover the costs of 4 to 5 international invited speakers.Fellowships for Students:RISC will raise sponsor funds for providing (approximately 20) fellowships for participating students.Hotel Costs:4-star, single room: Euro 70,00 - 95,00 incl. breakfast buffet3-star, single room: Euro 35,00 - 70,00 incl. breakfast buffet. Traffic Connections:
Contact:Bruno Buchberger, buchberger@risc.uni-linz.ac.athttp://www.risc.uni-linz.ac.at/people/buchberg |