[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear Colleagues,

The draft proceedings of TFP 2007 are now available on the 
symposium's website. You may access the draft proceedings 
directly at: http://cs.shu.edu/tfp2007/draftProcDocument.pdf .

This volume represents the articles associated with the work
presented at TFP 2007. As in previous versions of TFP it is called
the draft proceedings to distinguish it from the formal
peer-reviewed post-symposium proceedings. The work presented at TFP
2007 was selected by its international program committee through the
screening of extended abstracts.



Prof. Marco T. Morazan
Dept. of Mathematics and Computer Science
Seton Hall University

"On theories such as these we cannot rely. Proof we need. Proof!" 
           -- Yoda, Jedi Master

Reply via email to