Disempowering John Chrysostom: Bodily, Emotional, and Gender Vulnerability in the Letters to Women

This paper examines John Chrysostom’s exile letters to women as a source for investigating how power – political, ecclesiastical, and patriarchal – handled vulnerability in Late Antiquity. When Emperor Arcadius removed him from the episcopal see of Constantinople (404 CE), John found his position of power compromised. Effectively, he lost any control over Church affairs and contact with the court, being relegated to a desolate, inhospitable spot between Cappadocia and Armenia – Cucusus. John...

Open Science/Open Data : come costruire un ufficio da zero

L'Open Science oggi non è più soltanto un insieme di pratiche volte a garantire l'accesso aperto ai risultati della ricerca o un mero adempimento. La crescente attenzione di enti finanziatori, organismi di valutazione e politiche europee rende necessario per gli atenei dotarsi di un presidio organizzativo capace di coordinare competenze, servizi e infrastrutture dedicate alla Scienza Aperta. La presentazione illustra un modello operativo per la progettazione e l'implementazione di un Uffic...

Comparing Institutional Repository and OpenAIRE Research Products : Scuola Normale Superiore Case Study

Growing a Modular Framework for Modal Systems: HOLMS

We present HOLMS (HOL Light Library for Modal Systems), an evolving modular framework for mechanising modal reasoning within the HOL Light proof assistant. Building on earlier work on Gödel-Löb logic (GL), HOLMS introduces a compositional architecture to formalise modal adequacy proofs and implement automated decision procedures for various normal modal systems, currently including K, T, K4, and GL. To clarify the compositional nature of our framework and illustrate how it bridges general-pur...