[isabelle] Journal of Formalized Reasoning opens a section for PhD/HDR thesis

The Journal of Formalized Reasoning http://jfr.unibo.it/ is glad to announce
the creation of a new section devoted to the publication of full
Phd/Habilitation Thesis.

Authors are invited to attach to the their submission the reviews on their
thesis and, if available, the final report of the evaluation commission.
Additional reviews may be asked by the Section Editor, if required.

This kind of manuscripts should be submitted under the section "Ph.D Thesis".
General information about the submision procedure and the journal style may be
retrieved at the followig page

Best regards,
Enrico Tassi

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.