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 <makarius@sketis.net>+
−
+
−
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:        1 February 2009+
−
Notification:                   15 Febrary 2009+
−
Workshops:                      21 August 2009+
−