I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.

I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.

The topic of an optimal or utopian life has received much attention across the humanities and the arts but not in psychology. The German concept of Sehnsucht captures individual and collective thoughts and feelings about one's optimal or utopian life. Sehnsucht (life longings; LLs) is defined as an intense desire for alternative states and realizations of life. Presenting a first effort at capt...

In this paper, I argue that the implementation of syariah is best understood as a heterotopia by women in Aceh, Indonesia. The current debates over the role of syariah for women in Acehnese society focus on either a secular human rights critique of non-liberal norms that restrict the rights and freedom of women or a religiously prescribed defense of communal norms that protect women and society...

Abstract Although the Temple Scroll’s divinely-commanded temple plan has frequently been described as “utopian,” there no sustained attempt to analyze scroll in light of other texts that have utopias/utopian, or connection with utopian studies. This article aims start conversation, considering what insights about purpose and function Scroll might be gained from approaching it a utopia. Such an ...