From: Makarius <mak...@sk...> - 2008-11-07 09:22:35
|
CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009 The 22th International Conference on Theorem Proving in Higher Order Logics 17 - 20 August 2009 (main conference) 21 August 2009 (workshops) in Munich, Germany ****************************** * http://tphols.in.tum.de/ * ****************************** TPHOLs is a series of international conferences that started in 1988 and brings together researchers working in all areas of interactive theorem proving. The main conference will be held on 17 through 20 August 2009 in Munich. There will be an extra day for associated workshops: 21 August 2009. Workshop proposals ------------------ Workshops to be proposed here as an associated event to TPHOLs 2009 should be related to the general theme of interactive theorem proving or some of its application areas. See also the call for papers of the main conference to get an idea about the topics covered there. Both well-established workshops and newer ones are welcome. The basic format will be that of a one day event on 21 August 2009, after the main conference. Workshop proceedings can be published as a technical report of TU München, if required. Proposals or any further questions should be sent by e-mail to the TPHOLs 2009 workshop chair: Makarius Wenzel <mak...@sk...> Please include the following information in particular: * Workshop name and abbreviation * Names and affiliations of organizers * Topics covered by the workshop, possibly with some links to websites of earlier instances of the workshop. Important Dates --------------- Submission of proposals: 15 January 2009 Notification: 31 January 2009 Workshops: 21 August 2009 |