--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/activities/tphols09/cfet.txt	Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,31 @@
+CALL FOR PAPERS: TPHOLs 2009 --EMERGING TRENDS--
+
+22nd International Conference on 
+Theorem Proving in Higher Order Logic (TPHOLs 2009)
+
+Munich, Germany
+
+Monday, 17 August through Thursday, 20 August 2009
+
+********************************
+*   http://tphols.in.tum.de/   *
+********************************
+
+The 2009 International Conference on Theorem Proving in Higher Order
+Logics will be the 22nd in a series that dates back to 1988. The
+conference will be held in Munich, Germany on 17-20 August 2009.
+
+Traditionally, TPHOLs has an "Emerging Trends Section" (Category B-Paper)
+for informal progress reports. Submissions under category B will not be
+formally refereed, but their content and relevance will be reviewed.
+Submissions accepted in this category will be published in a technical
+report of the TU Munich, which will be available at the conference.
+Authors of accepted Category B papers are expected to present a brief
+outline of their work at the conference and to prepare a poster for
+display at the conference venue.
+
+The DEADLINE for submissions in emerging trends is: 22 May 2008
+
+Papers should be no more than 10 pages in length and should be written
+using LaTeX and the LNCS style file. Submissions should be sent electronically 
+directly to the organizers using the email address "tphols09@easychair.org". 
\ No newline at end of file