"Sleeping Princess" (1921) e "Baiser de la Fée" (1928): lesina e punteruolo di Stravinskij sulle musiche di Čajkovskij.

Igor Stravinskij (1882-1971) utilizzò di sovente fonti preesistenti come parte integrante del proprio artigianato compositivo. In questa tesi dottorale ho studiato il processo creativo di Stravinskij negli anni Venti sulle musiche di Pëtr Il'ič Čajkovskij (1840-1893). Nella prima parte della dissertazione ho indagato la Sleeping Princess (1921) e il successivo Mariage d’Aurore (1922-1929), entrambi allestiti dai Ballets russes di Sergej Djagilev (1872-1929). Dopo aver localizzato e contestualizzato le fonti manoscritte e i materiali d’uso, ho ricostruito le ri-orchestrazioni effettuate da Stravinskij della Danse russe (Coda del Pas de deux n. 28) e del Presto del Finale (n. 30), che erano a tutt’oggi inedite. La ricerca sulla Sleeping Princess si è rivelata fondamentale per la conseguente analisi del Baiser de la Fée (1928, Ballets de Mme Ida Rubinstein), balletto basato su pezzi pianistici e romanze per voce e pianoforte di Čajkovskij. Grazie allo studio dello Skizzenbuch VIII, della partitura pianistica manoscritta e di tutte le fonti rinvenute, ho gettato ulteriore luce sul processo compositivo di Stravinskij sulle fonti čajkovskiane. Ho rinvenuto nuove appropriazioni che finora non erano note.

Se il lavoro è l’unica risposta. Studio comparato sulle pratiche di accompagnamento al lavoro di fasce svantaggiate nelle città di Bologna e Valencia

Scopo del presente lavoro di ricerca è quello di comparare due contesti metropolitani, valenciano e bolognese, sulle pratiche di accompagnamento al lavoro rivolte a fasce svantaggiate, in particolare persone con problemi di dipendenza da sostanze psicotrope. L’indagine propone un confronto su alcune tematiche trasversali (tipologia di azioni messe in campo, organizzazione territoriale e governance, profilo degli utenti, inserimento sociale, coinvolgimento del mondo produttivo) e pone in evidenza gli elementi che ci consentono di individuare e segnalare sia delle buone pratiche trasferibili sia delle linee progettuali, partendo dunque dal presupposto che capacitare una persona significa innanzitutto offrirle congrue opportunità di scelta, nel senso seniano e come spiegato dalla stessa Nussbaum, ma soprattutto accompagnarla e sostenerla nel percorso di inserimento lavorativo e, in parallelo, sociale. Il bisogno raccolto è quello di un sostegno, motivazionale e orientativo, che segua un approccio socio educativo capace di fornire, alla persona, una risposta integrata, di unicità, capace dunque di agire sull’autonomia, sull’autostima, sull’elaborazione delle proprie esperienze di vita e lavorative, nonché su elementi anche di contesto quali la casa, le reti amicali e familiari, spesso compromesse. L’elemento distintivo che consente di agire in questa direzione è il lavoro di collaborazione tra i diversi servizi e la co-progettazione del percorso con l’utente stesso. Il tema degli inserimenti lavorativi è un argomento molto complesso che chiama in causa diversi aspetti: i mutamenti sociali e le trasformazioni del lavoro; l’emergere di nuove fasce deboli e il rischio di aggravamento delle condizioni di esclusione per le fasce deboli “tradizionali”; l’importanza del lavoro per la costruzione di percorsi identitari e di riconoscimento; l’impatto delle politiche attive sulle fasce svantaggiate e i concetti di capitazione e attivazione; il ruolo del capitale sociale e l’emergere di nuovi welfare; la rete degli attori coinvolti dal processo di inserimento e il tema della governace territoriale.

L’autotutela collettiva tra ipotesi di revisione della disciplina nazionale e prospettive europee

Nel presente lavoro viene trattato il delicato tema dell’autotutela collettiva, nell’intersezione tra ipotesi di revisione nazionale e prospettive europee. Dapprima viene ricostruita l’evoluzione della valutazione del conflitto collettivo nell’ordinamento giuridico italiano ed effettuata una ricognizione delle diverse manifestazioni del conflitto collettivo ivi riscontrabili. Il tentativo è quello di superare i limiti di una trattazione ristretta allo sciopero e di verificare la perdurante validità della tradizionale nozione di sciopero, intesa esclusivamente come astensione collettiva dalle prestazioni di lavoro. In un secondo capitolo vengono esaminati i disegni di legge di riforma in materia di conflitto collettivo, presentati nel corso della XVI legislatura e le clausole, incidenti sulla medesima materia, rinvenibili nell’Accordo interconfederale del 28 giugno 2011 e negli accordi FIAT del 2010, relativi agli stabilimenti di Pomigliano D’Arco e Mirafiori. Alla luce di tali materiali, si riesaminano le tematiche della titolarità individuale del diritto di sciopero, delle clausole di tregua e delle procedure arbitrali e conciliative. Successivamente, viene esaminata la produzione legislativa e giurisprudenziale comunitaria in tema di conflitto collettivo. Il confronto con l’ordinamento nazionale consente di mettere criticamente in luce il diverso rapporto tra mercato e diritti d’azione collettiva e di rilevare che nell’ordinamento comunitario la giurisprudenza della Corte di giustizia abbia introdotto limiti eccessivi al dispiegarsi dei diritti sociali in esame. Da ultimo, vengono formulate alcune considerazioni conclusive. Criticamente viene rilevato come, in tempi di globalizzazione, non viene prestata sufficiente attenzione alla valorizzazione del conflitto collettivo, come motore dell’emancipazione e del progresso sociale.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Funzionalizzazione e unitarietà della vicenda contrattuale negli appalti pubblici

La tesi intende analizzare l’unitarietà della vicenda contrattuale dell’appalto pubblico nell’ottica del superamento della tradizionale visione dicotomica tra la fase della scelta del contraente e quella esecutiva. Sullo sfondo della funzionalizzazione del contratto alla realizzazione dell’interesse pubblico in concreto, oggi più che mai comprensivo dei fini ambientali, sociali e occupazionali, l’attenzione sarà posta in particolare sulla compresenza in entrambe le fasi di “momenti” (e quindi di regimi) pubblicistici e privatistici. A tal fine, l’attenzione sarà principalmente riservata, da un lato, all’estensione del regime delle trattative precontrattuali anche al momento che precede quello dell’aggiudicazione e, dall’altro lato, all’applicazione dello statuto pubblicistico all’esecuzione del contratto, specialmente in relazione all’esercizio del recesso, in ciò esprimendosi con maggior forza il senso dell’unitarietà fra le due fasi. Rilevata infine la frammentazione delle giurisdizioni, valorizzata l’esigenza di un giudice specializzato sulla materia e preso atto di alcune trasformazioni (potenziali e attuali) sul fronte più generale del riparto, si cercherà di fornire una lettura atta ad estendere, a Costituzione invariata, la giurisdizione esclusiva del giudice amministrativo su tutta l’unitaria vicenda contrattuale.

Il principio di prevedibilità in materia penale. Riflessi sulle garanzie fondamentali di una analisi comparata sulla "cultura del precedente"

Nell’epoca di profonda transizione dell’era «pos-moderna», il modello tradizionale di legalità che conferisce al Parlamento il monopolio in materia penale entra in crisi in ragione della frammentazione delle fonti del diritto - a livello nazionale e sovranazionale - nonché delle spinte di globalizzazione capaci di incidere, ormai, ben oltre il mero piano economico. A fronte della incapacità del legislatore di rispondere in termini effettivi alla urgenza di razionalizzare e riformare il sistema penale, quindi, il potere giudiziario ha assunto una funzione di sostanziale supplenza, generando inevitabili attriti con il nullum crimen e i suoi corollari. Ne deriva che il Giudice di legittimità sempre più si preoccupa di assicurare la prevedibilità dei mutamenti interpretativi, specie se in malam partem, tenendo a mente gli ultimi approdi della giurisprudenza di Strasburgo in riferimento all’art. 7 CEDU. In particolare, tanto nelle motivazioni delle decisioni quanto nei contributi dottrinali, si diffonde graduale il riferimento a istituti propri del modello di common law: la recente riforma dell’art. 618, co 1 bis, c.p.p., del resto, è stata descritta a più voci come l’avvio della diffusione nell’ordinamento interno della c.d. “cultura del precedente”. In tale frangente, diviene utile approfondire l’opportunità dell’accostamento tra il modello di common law e di civil law, conducendo uno studio comparato tra i due ordinamenti quanto all’esercizio del potere punitivo che intende esaminare l’opportunità di acquisire rimedi propri della esperienza secolare del diritto judge-made in un ordinamento governato dalla soggezione del giudice alla legge.

Aristotle’s modal syllogistic and first-order modal logic

In Prior Analytics 1.1–22, Aristotle develops his proof system of non-modal and modal propositions. This system is given in the language of propositions, and Aristotle is concerned with establishing some properties and relations that the expressions of this language enjoy. However, modern scholarship has found some of his results inconsistent with positions defended elsewhere. The set of rules of inference of this system has also caused perplexity: there does not seem to be a single interpretation that validates all the rules which Aristotle is explicitly committed to using in his proofs. Some commentators have argued that these and other problems cannot be successfully addressed from the viewpoint of the traditional, ‘first-order’ interpretation of Aristotle’s syllogistic, whereby propositions are taken to involve quantification over individuals only. Accordingly, this interpretation not only is inadequate for formal analysis, but also stems from a misunderstanding of Aristotle’s ideas about quantification. On the contrary, in this study I purport to vindicate the adequacy and plausibility of the first-order interpretation. Together with some assumptions about the language of propositions and an appropriate regimentation, the first-order interpretation yields promising solutions to many of the problems raised by the modal syllogistic. Thus, I present a reconstruction of the language of propositions and a formal interpretation thereof which will prove respectful and responsive to most of the views endorsed by Aristotle in the ‘modal’ chapters of the Analytics.

Sovereign wealth funds and state immunity

The study sheds light on the application of the rule of state immunity to sovereign wealth funds (SWFs). SWFs are Janus-faced investment vehicles established by their parent states to invest public resources in financial markets, with the aim of increasing long-term returns and pursuing macroeconomic goals. The ultimate purpose of the study is to assess if the hybrid nature of SWFs results in changes to the rule of state immunity when applied to them, and whether a generally accepted standard in this regard can be deduced from state practice. The research is conducted through a comparative analysis. It is based on the provisions of the UN Convention on Jurisdictional Immunities of States and Their Property (UNCSI), as well as on six domestic jurisdictions (US, UK, France, Germany, Italy and China) among those that have contributed most significantly to the international debate on state immunity and which host the largest amount of SWF investments.

Composizione dello spazio d'acqua e innalzamento del mare. Il caso del basso ferrarese.

La tesi esplora il rapporto tra architettura e acqua, concentrandosi sulle nuove sfide poste dall'innalzamento del livello del mare per i territori marginali come il Basso Ferrarese nel Delta del Po. L'acqua è stata esplorata come elemento fluente e legato alla vita umana attraverso vari aspetti, dall'abitare ai giardini di Barragan, dalle opere di ingegneria romana alle architetture galleggianti. La ricerca ha portato alla creazione di un vocabolario progettuale che comprende relazioni spaziali, funzionali, formali e percettive per sviluppare nuovi scenari futuri. La tesi considera le sfide del cambiamento climatico soprattutto in relazione all’innalzamento del mare, che richiede nuovi approcci progettuali. L'elaborazione di visioni e immaginari utopici, in cui l'acqua diventa materia del progetto, è considerata importante dalla letteratura legata all’ecological urbanism per creare nuovi territori che affrontino le sfide ambientali in modo sostenibile. La ricerca si è concentrata sul Delta del Po e sulla costa adriatica italiana come una delle aree più estese a rischio in Europa. La tesi propone un'immaginario per la composizione futura dello spazio d'acqua che consenta alla persistenza e all'elemento naturale di convivere in armonia. Attraverso esercitazioni progettuali, la ricerca ha esplorato le possibilità compositive dell'area e ha cercato di capire se il sistema di relazioni identificato nella prima fase di ricerca può essere utilizzato per definire nuove possibilità dell'area. In sintesi, la tesi propone nuove riflessioni sul rapporto tra architettura e acqua e suggerisce l'importanza di un approccio sostenibile alle sfide ambientali che devono essere affrontate nei territori marginali. L'immaginario proposto per la composizione futura dello spazio d'acqua si basa su un sistema di relazioni che incoraggia la convivenza dell'uomo con la natura.

Rethinking the block. The 1970s European discourses on the city and the IBA Berlin 1979-87

The dissertation explores the relationship between projects for urban blocks and the discourses on the city between the late 1960s and the 1980s, with a particular focus on the blocks of the Internationale Bauausstellung (IBA) Berlin 1979-87. The main research questions center on whether and how the block changed in connection with the emerging ideas of the city during this period and whether these changes had, in turn, effects on the whole city. Thus far, despite extensive research on the theories and the ideas of the city between the 1960s and 1980s, there is a lack of studies that interweave this research with insights into the block. To fill this gap, this dissertation examines how the block was thematized in the 1970s discourses on the city. It highlights projects for blocks designed between the late 1960s and the 70s in various European cities, particularly West Berlin. Then, it focuses on the blocks of the IBA Berlin 1979-87, examining them through theory, history, and drawings. The study of the examples reveals three distinctive aspects of all blocks considered in the dissertation: the overcoming of small private plots, the individualization of the buildings, and the accessibility of the courtyards from public streets. These aspects reflect the changing understandings of the city and of the urban spaces in the 1970s and 1980s, which resulted in new compositional logics of the block. When examined with critical distance, the blocks of the 1970s and 80s offer a lesson in architectural and urban composition which is still current. - The author has made every effort to contact the owners of the copyrights of the material in the dissertation. The author is available to the right holders with whom it was not possible to communicate as well as for any omissions or inaccuracies in quoting the sources.