TPHOLs 2008

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 Gröbner bases is a brain child of RISC which you might know),
• Theorem proving in higher order logic is essential to the ongoing Theorema research project,
• RISC has always contributed also to the international research management in symbolic computation (e.g. by launching the Journal of Symbolic Computation ),
• There will be several other Logic and Symbolic Computation related events at RISC in summer 2008:
  • July 7-18: RISC/SCIEnce Training School
  • July 14-18: RTA and its workshops
  • July 20-23: ISSAC
  • July 24-26: Final Conference of the SFB Numerical and Symbolic Scientific Computing
• 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, ALISA 2005, AISC 2004, ADG 2002, LMCS 2002, MKM 2001 , SNSC 2001 , SNSC 99 , IMS 99 , 33 years of Gröbner Bases Conference , PASCO 98, CP 97 , FTP 97 ) and will be organizing a number of events this year in the frame of the RISC Summer 2007 so that experienced staff is available for the organization,
  
  
  

  SNSC 2001: Coffee Break	SNSC99: In front of the RISC castle	IMS99:  In the lecture hall

  
  
• we like to show visitors our beautiful country with all its cultural and scenic attractions (See http://www.austria-tourism.at/ ),
  
  Vienna
  
  Salzburg
  
  
• the historic Castle of Hagenberg, which is the home of RISC, is an attractive and unique environment for conferences.

Venue

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 Hagenberg

Dates

Format

Four days (Tue - Fri) with an additional first day (Mo) for tutorials and possibility for pre- and post-conference special workshops and meetings

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

Organisers

• Bruno Buchberger
• Martin Giese
• Tudor Jebelean
• Temur Kutsia
• Wolfgang Windsteiger

Conference Chair

PC Chair

Finance

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.

Travel

	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.
	By plane, Daily flights from and to Vienna, Frankfurt, London-Stansted, Düsseldorf, Graz, Salzburg. (Linz airport) By train, Major train station on the route from Munich to Vienna. (Search Connection) By car, Highway from Vienna and Munich.

Contact