Barbara König

Joost-Pieter Katoen

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

CONCUR 2011 -- Concurrency Theory

Cormac Flanagan

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems

How have you been able to exist for thirty-five years knowing that you aren't really living your own life, but someone else's? Mommsen's life was spared thirty-five years ago in World War II when a priest voluntarily took his place before a military firing squad. Now, at a commemoration of the incident, he finds himself bombarded with questions from journalists and others about "how it felt" to be the beneficiary of this sacrifice and about the difference it has made to his life. Barbara Konig's delicately ironic novel reveals what happens when the unremarkable Mommsen, who has never considered these issues or his life very closely, is forced to examine his ordinary existence in the context of this extraordinary event. You didn't ask why, you just let it happen? The priest's act of pure altruism has left Mommsen selfless as well; his passivity in the face of the priest's sacrifice has informed his entire life. His fulfilling career, loving wife, comfortable home suddenly seem as random and arbitrary, as inexplicable as the priest's act: "Still he cannot seem to discover a chronology in the course of his life." And if Chaplain Schorr were suddenly standing in front of you and asked: I gave you thirty-five years and what have done with them? How would you answer him? Searching for answers to these new and increasingly compelling questions, Mommsen loses interest in his work and grows alienated from his wife of twenty-two years as he struggles to comprehend the meaning of the priest's sacrifice, the burden of his role as beneficiary, and the significance of both their lives.

The Beneficiary

Jean Goubault-Larrecq

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Foundations of Software Science and Computation Structures

Holger Giese

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.

7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation

Helmut Lethen

Philip Ursprung

Philipp Sarasin

Jakob Tanner

Ingrid Tomkowiak

Andrea Krauß

Gesine Krüger

Wo ist Kultur? Was meinen wir, wenn wir "Kultur" sagen? Im 19. Jahrhundert hatte "Kultur" ihren Hort in Europa, ihre Heimat war das antike Griechenland und die sie tragende Schicht das Bürgertum. Die Umbrüche des 20. Jahrhunderts lassen keine feste Verortung von "Kultur" mehr zu. Dennoch (oder gerade deshalb?) ist "Kultur" in gegenwärtigen Debatten ein Schlüsselwort. Die komplexe Dynamik sozialer, wirtschaftlicher und medialer Prozesse erscheint letztlich nur "kulturell" erklärbar – ein Diskurs, der aktuell unterschiedlichste Positionen herausfordert. Der Band dokumentiert die interdisziplinäre Ringvorlesung von Universität und ETH Zürich, die der Frage nach dem Ort von Kultur nachgeht.

Perspektiven der Kulturanalyse

Wo ist Kultur?

Roslyn Theobald

As the novel opens, a young woman is returning home in the company of a new love, who departs after they make a date for that evening. As Nadine prepares for her rendezvous, she converses with a series of characters: the contentious Cyril, the critical Dombrowskaya, the morbid and degenerate Anatol, the gentle Bozena. All claim insight into Nadine's past; all seem to have a stake in the young woman's future. Far from being a group of stable, supportive friends, the characters are revealed to be the elements of Nadine's fragmented personality. The experiences and desires of the various personalities are revealed, slowly exposing the core of Nadine's deep uncertainty and self-doubt. As the time of her assignation approaches, Nadine's attempts to quiet the cacophony of voices become more urgent, and the young woman searches desperately for a means of integrating herself and the other voices.

Barbara König

Books

Your next favorite book is out there