[TYPES/announce] TFP 2007: Draft Proceedings Available On-line

Marco T Morazan morazanm at shu.edu
Tue Jun 5 12:57:15 EDT 2007


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070605/542a64d8/attachment.htm


More information about the Types-announce mailing list