Im vorliegenden Band „Zur Zukunft der Bereichsethiken – Herausforderungen durch die Ökonomisierung der Welt“ werden Ansätze und Beispiele behandelt, diese Herausforderungen anzugehen und damit auch einen Beitrag zur Zukunft der Bereichsethiken zu leisten. Themen sind u.a.: zur Zukunft der Technik-, Wirtschafts- und Wissenschaftsethik, die Ökonomisierung der gesellschaftlichen und Sozialen Arbeit, der Medien, der persönlichen Beziehungen, der Wasserversorgung, im Gesundheitswesen sowie im Sport. In the present volume “The future of areas of applied ethics – challenges by the economisation of the world” will be dealt with approaches and examples how to face these challenges and what that means for the future of applied ethics. Subjects are among others: the future of engineering, business and science ethics, the economisation of professional and social work, media, personal relationships, water supply, health care and sport.

In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.

Über die Wirtschaft der Antike sind wir gut informiert, und Wirtschaftsgebäude wie die Basilika wurden von Archäologen und Bauhistorikern vielfach untersucht. Jedoch fehlte bislang der interdisziplinäre Gedankenaustausch. Dieser Tagungsband schließt diese Lücke, er enthält Beiträge über Geldgeschäfte, Handelsformen und Handelsbeziehungen, er stellt Speichergebäude und Märkte vor. Einen besonderen Platz nimmt die römische Basilika ein, deren Entwicklung um 200 v. Chr. quasi schlagartig am Forum Romanum begann und die neue Vormachtstellung Roms, das nunmehr auch zum Zentrum der mittelmeerweiten Wirtschaft wurde, städtebaulich zum Ausdruck brachte. Zwei Beiträge befassen sich mit der weiteren Entwicklung des Begriffes Basilika und seinen Nachwirkungen im Kirchenbau und in der Architekturtheorie bis heute. We are well informed about the economy during antiquity, and commercial buildings like the Basilica have been studied numerous times by archaeologists and architectural historians. However, an interdisciplinary exchange of ideas has been lacking in the past. This publication of conference proceedings tries to fill this gap; it includes papers on monetary transactions, forms of trade and trade relations, and introductions to warehouses and market places.The main focus is on the Roman Basilica, whose development started almost overnight about 200 BC at the Forum Romanum and which expressed the new hegemony of the Roman Republic, which had also become the center of all commercial activity in the Mediterranean, in regards to urban development. Two papers address the further development of the term Basilica and its influence for the building of churches and for architectural theory in general until today.

Diese Arbeit dokumentiert die Entwicklung und Untersuchung eines neuartigen UV-Lampensystems, welches auf UV-Induktionslampen und einem MHz-Wechselrichter mit selbstleitenden SiC-Sperrschichtfeldeffekttransistoren (JFET) basiert. Mit diesem System wird erstmalig ein Systemwirkungsgrad von mehr als 27 % nachgewiesen, welcher zwischen den bisherigen UV-Systemen einzuordnen ist und neue Anwendungsfelder erschließt. This work presents the design and investigation of a novel UV-lamp-system, which is based upon UV-induction lamps and a MHz-inverter equipped with normally-on junction field effect transistors (JFET). A system efficiency of some more than 27 % is verified with the prototype UV-induction lamp system, which positions between the two previous UV-systems and open up new fields of application.

Licht ist Forschungsgegenstand vieler Disziplinen: ob als Faktor in der Energieforschung, intelligente Smart-Home-Komponente in der IT-Technik, Werkzeug in Optik und Photonik oder Designelement in der Architektur. Mit diesen verschiedenen Aspekten befasst sich die Tagung „LICHT 2016“, die vom 25. bis 28. September in Karlsruhe stattfindet. Der Tagungsband enthält die Beiträge der 22. Gemeinschaftstagung der Licht-Gesellschaften Deutschlands, Österreichs, der Niederlande und der Schweiz. Lighting is an object of research in many disciplines: as a factor in energy research, as component of intelligent smart home systems in IT technology, in optics and photonics, and as a design element in architecture. All these aspects have been addressed during the conference “LICHT 2016” that has taken place from September 25th to 28th 2016 in Karlsruhe. The conference proceedings include the papers of the 22nd associations’ meeting of the Lighting Societies of Germany, Austria, the Netherlands, and Switzerland.