[isabelle] TPHOLs'2009 Host Selection
--Apologies if you receive this e-mail several times--
TPHOLs 2009 Host Selection -
22nd International Conference on Theorem Proving in Higher Order Logics
The first phase of the host selection process for TPHOLs 2009 ended.
As we mention in our last call for bids, we received only one bid from
Germany. Therefore, the TPHOLs 2008 Organizing Committee are
pleased to announce that TPHOLs 2009 will be held at the Technische
Universitat Munchen, Germany by Tobias Nipkow and his team.
See you in Montreal in August, 2008 and in Munchen in 2009!
TPHOLs'08 Organizing Committee.
This archive was generated by a fusion of
Pipermail (Mailman edition) and