--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/activities/tphols09/cfw.txt	Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,49 @@
+   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