--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. ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
