FTP 2011 - International Workshop on
First-Order Theorem Proving
Bern, Switzerland, July 4, 2011
Bern, Switzerland, July 4, 2011
AccomodationParticipants are asked to arrange their own accommodation. Reasonably priced hotels close to the University of Bern include: Map of hotels listed above including venue For a complete list of hotels in Bern, please see BernInfo.com |