Email Gateway (Aug 18 2022 at 11:46): Email Gateway (Aug 18 2022 at 11:46):From: Otmane Ait Mohamed <ait@encs.concordia.ca>
--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.
(http://tphols.in.tum.de/)
See you in Montreal in August, 2008 and in Munchen in 2009!
TPHOLs'08 Organizing Committee.
Last updated: May 03 2024 at 04:19 UTC