FTP 2011 - International Workshop on First-Order Theorem Proving
Bern, Switzerland, July 4, 2011

spacer

The FTP Workshop Series

Background

Call for Papers

Important Dates

Submission

Programme Committee

Accepted Contributions

Programme

Venue and Travel

Accommodation

Registration

Related Events

Accomodation

Participants are asked to arrange their own accommodation. Reasonably priced hotels close to the University of Bern include:

  • Hotel Arabelle
  • Hotel City am Bahnhof
  • Hotel Kreuz
  • Hotel Metropole

Map of hotels listed above including venue

For a complete list of hotels in Bern, please see BernInfo.com

Maintained by Ullrich Hustadt, U.Hustadt@csc.liv.ac.uk, last updated Wednesday, 01-Jun-2011 20:54:02 BST. © 2011 by Ullrich Hustadt.
Related searches:
hustadt workshop ullrich programme wednesday
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.