[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
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and