[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