The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

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
 http://jfr.unibo.it/about/submissions#onlineSubmissions

Best regards,
-- 
Enrico Tassi