[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 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 submission procedure and the journal style may be retrieved at the following page http://jfr.unibo.it/about/submissions#onlineSubmissions The current editor for this section is Enrico Tassi. Best Regards. -- Andrea Asperti