- Table View
- List View
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science #7737)
by Roberto Giacobazzi Josh Berdine Isabella MastroeniThis book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Lecture Notes in Computer Science #6538)
by Ranjit Jhala David SchmidtThis book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Lecture Notes in Computer Science #9583)
by Barbara Jobstmann K. Rustan M. LeinoThis book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science #7148)
by Viktor Kuncak Andrey RybalchenkoThis book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings (Lecture Notes in Computer Science #8318)
by Kenneth L. McMillan Xavier RivalThis book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #6463)
by Simon Siegler Nathan Wasser
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings (Lecture Notes in Computer Science #11181)
by Mohamed Faouzi Atig Saddek Bensalem Simon Bliudze Bruno MonsuezThis book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science #12519)
by Belgacem Ben Hedia Yu-Fang Chen Gaiyun Liu Zhenhua YuThis book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead. The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.
Verification and Control of Hybrid Systems: A Symbolic Approach
by Paulo TabuadaHybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.
The Verge of Philosophy
by John SallisThe Verge of Philosophy is both an exploration of the limits of philosophy and a memorial for John Sallis’s longtime friend and interlocutor Jacques Derrida. The centerpiece of the book is an extended examination of three sites in Derrida’s thought: his interpretation of Heidegger regarding the privileging of the question; his account of the Platonic figure of the good; and his interpretation of Plato’s discourse on the crucial notion of the chora, the originating space of the universe. Sallis’s reflections are given added weight—even poignancy—by his discussion of his many public and private philosophical conversations with Derrida over the decades of their friendship. This volume thus simultaneously serves to mourn and remember a friend and to push forward the deeply searching discussions that lie at the very heart of that friendship. “All of John Sallis’s work is essential, but [this book] in particular is remarkable. . . . Sallis shows better than anyone I have ever read what it means to practice philosophy on the verge.”—Walter Brogan, Villanova University
The Verge of Philosophy
by John SallisThe Verge of Philosophy is both an exploration of the limits of philosophy and a memorial for John Sallis’s longtime friend and interlocutor Jacques Derrida. The centerpiece of the book is an extended examination of three sites in Derrida’s thought: his interpretation of Heidegger regarding the privileging of the question; his account of the Platonic figure of the good; and his interpretation of Plato’s discourse on the crucial notion of the chora, the originating space of the universe. Sallis’s reflections are given added weight—even poignancy—by his discussion of his many public and private philosophical conversations with Derrida over the decades of their friendship. This volume thus simultaneously serves to mourn and remember a friend and to push forward the deeply searching discussions that lie at the very heart of that friendship. “All of John Sallis’s work is essential, but [this book] in particular is remarkable. . . . Sallis shows better than anyone I have ever read what it means to practice philosophy on the verge.”—Walter Brogan, Villanova University
The Verge of Philosophy
by John SallisThe Verge of Philosophy is both an exploration of the limits of philosophy and a memorial for John Sallis’s longtime friend and interlocutor Jacques Derrida. The centerpiece of the book is an extended examination of three sites in Derrida’s thought: his interpretation of Heidegger regarding the privileging of the question; his account of the Platonic figure of the good; and his interpretation of Plato’s discourse on the crucial notion of the chora, the originating space of the universe. Sallis’s reflections are given added weight—even poignancy—by his discussion of his many public and private philosophical conversations with Derrida over the decades of their friendship. This volume thus simultaneously serves to mourn and remember a friend and to push forward the deeply searching discussions that lie at the very heart of that friendship. “All of John Sallis’s work is essential, but [this book] in particular is remarkable. . . . Sallis shows better than anyone I have ever read what it means to practice philosophy on the verge.”—Walter Brogan, Villanova University
Vergangenheitsverhältnisse: Ein Korrektiv zum Paradigma des »kollektiven Gedächtnisses« mittels Walter Benjamins Erfahrungstheorie (Edition Moderne Postmoderne)
by Felix DenschlagIst Identität eine Funktion des Gedächtnisses? Mithilfe von Walter Benjamins Erfahrungstheorie kritisiert Felix Denschlag die Theorie des »kollektiven Gedächtnisses« von Maurice Halbwachs sowie Jan und Aleida Assmann und ergänzt sie im Sinne einer Theorie der Vergangenheitsverhältnisse. Der Identitätsbegriff wird - gegenüber der Konstruktion einer bruchlosen Kontinuität - als »kontinuierliche Diskontinuität« begriffen und dem willentlich verfügbaren Gedächtnis wird ein weit darüber hinaus gehender Bereich einer »schöpferischen Unordnung« entgegensetzt. Auf diese Weise lässt sich das individuelle Erfahrungsmoment gegenüber der intersubjektiv verfügbaren und beherrschbaren sozialen Identität betonen.
Verfassungsgerichtsbarkeit in Bundesländern: Theoretische Perspektiven, methodische Überlegungen und empirische Befunde
by Werner ReutterDer Band gibt eine theoretische und empirische Bestandsaufnahme der Verfassungsgerichtsbarkeit in den Bundesländern. Neben dem einleitenden Beitrag beinhaltet er politik- und rechtswissenschaftliche Untersuchungen zu vier Themenkomplexen: Im ersten Teil werden theoretische und methodische Ansätze zur Analyse von Verfassungsgerichtsbarkeit auf nationaler und subnationaler Ebene vorgestellt und kritisch beleuchtet. Der zweite Teil beschäftigt sich mit historischen, institutionellen und soziologischen Voraussetzungen der Verfassungsrechtsprechung in den Ländern. Im dritten Teil wird der Einfluss der Landesverfassungsgerichte in mehreren Politikfeldern dargestellt und analysiert. Im abschließenden vierten Teil wird die Verfassungsgerichtsbarkeit in den Schweizer Kantonen sowie in den amerikanischen Bundesstaaten untersucht. Darüber hinaus wird die Rolle der Landesverfassungsgerichte im Rahmen der europäischen Integration analysiert.Der InhaltTheoretische Perspektiven und methodische Überlegungen • Historische, institutionelle und soziologische Voraussetzungen der Verfassungsberichtsbarkeit in Bundesländern • Landesverfassungsgerichtsbarkeit und Politik • Internationale und vergleichende PerspektivenDer HerausgeberPD Dr. Werner Reutter ist Politikwissenschaftler und Privatdozent an der Humboldt-Universität zu Berlin.
Verbundenheit: Die Konstruktion der religiösen Selbst-Identität als Sinnsystem
by Britta RichterIst Verbundenheit, wie Studien nahelegen, die Essenz von Spiritualität? Und wie könnte ein Religionsmodell aussehen, das auf Verbundenheit als religiöse Bewusstseinsqualität aufbaut? Auf Basis qualitativer Daten aus Interviews mit Langzeitpraktizierenden aus spirituellen und künstlerischen Handlungsfeldern, entwickelt Britta Richter, im Gefolge phänomenologischer Lebensweltanalyse (Luckmann/Schütz), Modelle religiöser Selbst-Identität. Die Autorin folgt in phänomenologischen Analysen den narrativen Sinn-Konstruktionen zu ihrem Ursprung im praktischen Tun. Sie zeigt auf, dass Bindungen an Sinn-Quellen (Charles Taylor), Praktiken und Habitus, einer ontologischen Handlungslogik des Seins-Bewusstseins folgen und rekonstruiert, wie im Zwischenraum von Immanenz und Transzendenz, Welt-Beziehung und Seins-Beziehung, bedingtem und unbedingtem Sinn, Seins-Sinn-Bewusstsein verkörpert wird (religio). Unter Aufnahme bindungstheoretischer und theologischer Ansätze, wird ein Verständnis von symbolischer Identität entwickelt, in dem sich das Selbst, in der Praxis von Verbundenheit, Selbst-Transzendenz und Transformation, durch Selbstdeutung in der Gesellschaft, als verkörperte Religion seiner religio, individuiert.
Verbraucherpolitik von unten: Paradoxien, Perspektiven, Problematisierungen (Konsumsoziologie und Massenkultur)
by Kai-Uwe Hellmann Ansgar Klein Bernward BauleVerbraucherpolitik wurde in Deutschland seit ihrem Bestehen in den 1950er Jahren vorwiegend als ein Aktions‐ und Maßnahmenbündel verstanden und betrieben, das in erster Linie staatlicherseits initiiert und institutionalisiert wurde. Oftmals auch wurden von Staats wegen entsprechende Aufträge erteilt und Fördermodelle aufgesetzt, wodurch ein Erscheinungsbild entstand, als ob man es im Grunde nur mit einer durch die Makropolitik verordneten ‚Verbraucherpolitik von oben‘ herab zu tun hätte. Nicht, dass in diesen zurückliegenden Jahrzehnten nicht auch immer wieder Versuche unternommen worden wären, verbraucherpolitische Anstöße aus der Mitte der Zivilgesellschaft – oft in Gestalt kleiner Bürgerinitiativen – zu geben. Und gerade in den letzten Jahren sind einige neue Verbraucherorganisationen entstanden, die ungleich basisnäher operieren. Dennoch scheint sich bei den großen, regierungsnahen ‚Playern‘ im Feld, die schon jahrzehntelang im ‚Geschäft‘ sind, von der regierungsinternen Verbraucherpolitik ganz zu schweigen, der Eindruck festgesetzt zu haben, Verbraucherpolitik betreffe ein Politikfeld, das im Wesentlichen durch eine Kollaboration von Staat einerseits, sämtliche Verbraucher und Verbraucherinnen gleichermaßen vertretenden Verbraucherschutzorganisationen andererseits bestellt wird, während die vielen kleinen Verbraucherinitiativen, von einzelnen engagierten Verbrauchern oder Verbraucherinnen gar nicht erst angefangen, demgegenüber regelmäßig ins Hintertreffen geraten. Diese Perspektive bezieht sich größtenteils auf die Sicht auf und aus dem Zentrum der Politik heraus. Diesem institutionell vorherrschenden Eindruck, es gäbe im Prinzip nur ‚Verbraucherpolitik von oben‘, die wirklich schlag‐ und durchsetzungsfähig sei, soll mit diesem Band ein Stück weit entgegengewirkt werden.
Verbmobil: Foundations of Speech-to-Speech Translation (Artificial Intelligence)
by Wolfgang WahlsterIn 1992 it seemed very difficult to answer the question whether it would be possible to develop a portable system for the automatic recognition and translation of spon taneous speech. Previous research work on speech processing had focused on read speech only and international projects aimed at automated text translation had just been terminated without achieving their objectives. Within this context, the German Federal Ministry of Education and Research (BMBF) made a careful analysis of all national and international research projects conducted in the field of speech and language technology before deciding to launch an eight-year basic-research lead project in which research groups were to cooperate in an interdisciplinary and international effort covering the disciplines of computer science, computational linguistics, translation science, signal processing, communi cation science and artificial intelligence. At some point, the project comprised up to 135 work packages with up to 33 research groups working on these packages. The project was controlled by means of a network plan. Every two years the project sit uation was assessed and the project goals were updated. An international scientific advisory board provided advice for BMBF. A new scientific approach was chosen for this project: coping with the com plexity of spontaneous speech with all its pertinent phenomena such as ambiguities, self-corrections, hesitations and disfluencies took precedence over the intended lex icon size. Another important aspect was that prosodic information was exploited at all processing stages.
Verblüfft?!: Mathematische Beweise unglaublicher Ideen
by Julian HavilDas Buch stellt eine Reihe scheinbar paradoxer mathematischer Aussagen und deren Beweise vor. Sie kommen aus verschiedenen Bereichen der Mathematik, darunter das Geburtstagsparadoxon, Conways Chequerboard-Armee und Torricellis Trompete. Angewendet werden elementare Methoden der Kombinatorik, Wahrscheinlichkeitsrechnung, Statistik, Geometrie und Analysis. Zahlreiche Abbildungen und Tabellen illustrieren die Fragen und die wesentlichen Schritte zu ihrer Lösung. Das Buch ist für mathematisch Interessierte mit Oberstufenkenntnissen verständlich.
Verantwortungsvolle Digitalität: Warum wir den digitalen Wandel gestalten sollten
by Christoph BöhmDigitale Produkte, Dienste sowie Kommunikationsformen zeichnen sich besonders dadurch aus, dass sie im physikalischen Sinne immateriell sind. Aus dieser Eigenschaft folgen vielfältige Möglichkeiten, Lebenspraktiken und Lebenswelten individuell zu gestalten. Leicht zu verbreitende Digitalprodukte vermitteln gesteigerte Wirksamkeitserfahrung, welche den Digitalen Wandel wirtschaftlich, technisch und gesellschaftlich in Gang hält. Wachstumsgrenzen scheinen durch disruptive Innovationen der Künstlichen Intelligenz, der digitalen Vernetzung sowie auch der Virtualisierung von Lebenswelten zu diffundieren. Ein systemischer Blick auf die Veränderungsdynamiken führt zur Einsicht, dass Anerkennungswettläufe zur Sicherung der sozialen Position entbrennen. Um einer Abwärtsspirale zu entfliehen, fühlen sich Individuen sowie wirtschaftliche Akteure genötigt, Verwirklichungschancen der Digitaltechnologie ergreifen zu müssen, da ansonsten die Todeserfahrung einer sozialen oder wirtschaftlichen Irrelevanz droht. Diesem Krisenphänomen setzt das Buch eine Idee entgegen, wie aus selbstfürsorglicher Integrität heraus eine lebensdienliche und vor allem gerechte Digitalität verwirklicht werden könnte.
Verantwortung von Ingenieurinnen und Ingenieuren
by Lutz Hieber Hans-Ullrich KammeyerDer Verantwortung von Ingenieurinnen und Ingenieuren kommt gesellschaftlich sicher ebenso große Bedeutung zu wie der Verantwortung von Ärzten. Doch das technische Denken ist nicht in derselben Weise mit Wertorientierungen durchflochten wie medizinisches Denken und ärztliche Praxis. Im medizinischen Feld steht das Naturwissenschaftliche im Zentrum und in vielen Zusammenhängen wird Verantwortung angesprochen – dieses Thema ist in der Berufspraxis durchgehend präsent. Für Ingenieure liegen die Verhältnisse anders, und zwar aufgrund der bislang vorherrschenden Fachkultur. Ähnlich wie die Mediziner sind auch Ingenieure immer wieder dem Druck der Verantwortlichkeit ausgesetzt. Da ihr Denken jedoch durch einen allgemeinen Objektivitätsanspruch imprägniert scheint, schwebt dieses Thema oft gleichsam unverbunden neben dem fachlichen Diskurs. Deshalb wird in diesem Band der Versuch unternommen, das vermeintlich Fachfremde mit dem fachlichen Diskurs zu verbinden. Die Beiträge eignen sich für den Gebrauch in Lehrveranstaltungen.
Verantwortung - Soziologische und pädagogische Perspektiven (Pädagogik)
by Lothar Böhnisch Heide FunkVerantwortung ist allgegenwärtig, denn die Menschen sind als soziale Wesen und in der gesellschaftlichen Arbeitsteilung aufeinander angewiesen. Lothar Böhnisch und Heide Funk legen mit dem Paradigma der Dialektik von Autonomie und Angewiesenheit sowie dem der Verletzlichkeit einen theoretischen Ansatz dafür vor. Das Konzept strukturiert unterschiedliche Sphären und Praxen der Verantwortung und bezieht soziologische und pädagogische Perspektiven aufeinander. So geht der soziologische Teil auf verschiedene Verantwortungsbereiche und ihre Geschlechtsbezogenheit ein, stellt Gesellschaftsmodelle der Verantwortung vor und analysiert Entgrenzungen sozialer Verantwortung. Im pädagogischen Teil wird Verantwortung als Grundkategorie pädagogischen Wissens und Handelns modelliert sowie ihre Bedeutung für eine an Kindern und Jugendlichen orientierte Schulreform herausgestellt.
Venice's Intimate Empire: Family Life and Scholarship in the Renaissance Mediterranean
by Erin MaglaqueMining private writings and humanist texts, Erin Maglaque explores the lives and careers of two Venetian noblemen, Giovanni Bembo and Pietro Coppo, who were appointed as colonial administrators and governors. In Venice’s Intimate Empire, she uses these two men and their families to showcase the relationship between humanism, empire, and family in the Venetian Mediterranean.Maglaque elaborates an intellectual history of Venice’s Mediterranean empire by examining how Venetian humanist education related to the task of governing. Taking that relationship as her cue, Maglaque unearths an intimate view of the emotions and subjectivities of imperial governors. In their writings, it was the affective relationships between husbands and wives, parents and children, humanist teachers and their students that were the crucible for self-definition and political decision making. Venice’s Intimate Empire thus illuminates the experience of imperial governance by drawing connections between humanist education and family affairs. From marriage and reproduction to childhood and adolescence, we see how intimate life was central to the Bembo and Coppo families’ experience of empire. Maglaque skillfully argues that it was within the intimate family that Venetians’ relationships to empire—its politics, its shifting social structures, its metropolitan and colonial cultures—were determined.
Venice Saved
by Simone WeilTowards the end of her life, the French philosopher and mystic Simone Weil (1909-43) was working on a tragedy, Venice Saved. Appearing here in English for the first time, this play explores the realisation of Weil's own thoughts on tragedy. A figure of affliction, a central theme in Weil's religious metaphysics, the central character offers a unique insight into Weil's broader philosophical interest in truth and justice, and provides a fresh perspective on the wider conception of tragedy itself.The play depicts the plot by a group of Spanish mercenaries to sack Venice in 1618 and how it fails when one conspirator, Jaffier, betrays them to the Venetian authorities, because he feels compassion for the city's beauty. The edition includes notes on the play by the translators as well as introductory material on: the life of Weil; the genesis and purport of the play; Weil and the tragic; the issues raised by translating Venice Saved. With additional suggestions for further reading, the volume opens up an area of interest and research: the literary Weil.
Venice Saved
by Simone WeilTowards the end of her life, the French philosopher and mystic Simone Weil (1909-43) was working on a tragedy, Venice Saved. Appearing here in English for the first time, this play explores the realisation of Weil's own thoughts on tragedy. A figure of affliction, a central theme in Weil's religious metaphysics, the central character offers a unique insight into Weil's broader philosophical interest in truth and justice, and provides a fresh perspective on the wider conception of tragedy itself.The play depicts the plot by a group of Spanish mercenaries to sack Venice in 1618 and how it fails when one conspirator, Jaffier, betrays them to the Venetian authorities, because he feels compassion for the city's beauty. The edition includes notes on the play by the translators as well as introductory material on: the life of Weil; the genesis and purport of the play; Weil and the tragic; the issues raised by translating Venice Saved. With additional suggestions for further reading, the volume opens up an area of interest and research: the literary Weil.
Venezuela – Dimensions of the Crisis: A Perspective on Democratic Backsliding (Contributions to Political Science)
by Miguel Angel Latouche Wolfgang Muno Alexandra GerickeThe book is devoted to the subject of Venezuela's politics and the different dimensions of its longstanding crisis, with various researchers exchanging ideas on the current problems affecting the country. It is the first comprehensive overview on the dimensions of Venezuela’s current crisis written in English, thus filling an important research gap. Especially the participation of international, well-known scholars make it a global enterprise. The book covers historical and theoretical facts surrounding the case of Venezuela and also focuses on the parties and actors that play decisive roles in the conflict. Subjects include the military, public administration, ideology, the opposition, the party landscape along with its crisis and Venezuela's oil policy. Furthermore the book touches upon international and regional aspects: Venezuela's diplomatic relations with the EU, the USA, Cuba and Colombia, respectively. The volume addresses a wider audience, such as scholars on Latin American and especially Venezuelan Politics, International Relations, as well as an interested public, including journalists and politicians.