   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
