Nils Jansen

Thomas Noll

Mariëlle Stoelinga

Sebastian Junges

Benjamin Lucien Kaminski

Christoph Matheja

Tim Quatmann

Matthias Volk

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente. Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy of Sciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook. Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape

Petra van den Bos

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.

Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

A Journey from Process Algebra via Timed Automata to Model Learning

From 'Justinian's Institutes' and 'Blackstone's Commentaries' to modern examples such as the 'American Law Institute's Restatements', this book offers the first comparative analysis of non-legislative codifications.

Non-legislative Codifications in Historical and Comparative Perspective

The Making of Legal Authority

This English translation makes available to anglophone readers a modern classic of German tort theory. It argues that modern German tort law is faced with doctrinal tensions based on problematic theoretical assumptions which stem from historical conceptions of tortious liability, inappropriate to modern times. From a theoretical perspective, it argues against the prevalent doctrinal view in Germany that conceives of tortious liability as split between two tracks - a fault-based track and a strict liability track - each with different normative foundations. Instead, Jansen asserts that there is no rigid distinction between the normative foundations of each form of liability. Rather, both fault liability and strict liability in German law, and indeed other European systems, are best considered as resting upon the unifying theoretical structure of outcome responsibility. The book thus places responsibility rather than wrongdoing at the centre of the normative foundations of tort law. Historically, the book traces in detail how conceptions of tort liability have changed from Roman law to contemporary legal doctrine. It shows how particular historical understandings of the normative basis of tort law have led to continuing normative tensions in contemporary doctrine. Finally, the book examines how a reconstruction of modern German - and, indeed, European - law as based upon outcome responsibility should affect its doctrinal structure. This book makes contributions to the study of the theory, history, and doctrinal structure of tort law. While drawing on and explaining German tort law, its comparative, theoretical, and historical analysis will be of interest to scholars in all legal systems.

The Structure of Tort Law

Reinhard Zimmermann

The book provides rule-by-rule commentaries on European contract law (general contract law, consumer contract law, the law of sale and related services), dealing with its modern manifestations as well as its historical and comparative foundations. After the collapse of the European Commission's plans to codify European contract law it is timely to reflect on what has been achieved over the past three to four decades, and for an assessment of the current situation. In particular, the production of a bewildering number of reference texts has contributed to a complex picture of European contract laws rather than a European contract law. The present book adopts a broad perspective and an integrative approach. All relevant reference texts (from the CISG to the Draft Common European Sales Law) are critically examined and compared with each other. As far as the acquis commun (ie the traditional private law as laid down in the national codifications) is concerned, the Principles of European Contract Law have been chosen as a point of departure. The rules contained in that document have, however, been complemented with some chapters, sections, and individual provisions drawn from other sources, primarily in order to account for the quickly growing acquis communautaire in the field of consumer contract law. In addition, the book ties the discussion concerning the reference texts back to the pertinent historical and comparative background; and it thus investigates whether, and to what extent, these texts can be taken to be genuinely European in nature, ie to constitute a manifestation of a common core of European contract law. Where this is not the case, the question is asked whether, and for what reasons, they should be seen as points of departure for the further development of European contract law.

Commentaries on European Contract Laws

Nathalie Bertrand

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

Formal Modeling and Analysis of Timed Systems

The first English translation of a classic of German tort theory, this book analyses the theoretical foundations of tort law in historical and comparative perspective. Focusing on the tensions in modern German tort law, the book explains the historical development of tortious liability, and argues for a foundational role of outcome responsibility.

Nils Jansen

Books

Your next favorite book is out there