[ 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. Cheers, Marco ********************************************************************************** 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