Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Journal of Formalized Reasoning opens a sectio...


view this post on Zulip Email Gateway (Aug 19 2022 at 17:14):

From: Enrico Tassi <enrico.tassi@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,


Last updated: Apr 26 2024 at 16:20 UTC