Formal Commercial Contracts

  • Christian Stefansen | Univ of Copenhagen

The presentation consists of three parts: First, we briefly consider the problems faced by enterprises in handling commercial contracts today, then we present a foundational enterprise model, the Resources/Events/Agents model (REA), and finally we consider the formal mathematical underpinnings of a specification language for commercial contracts. The specification language for contracts is based on ideas from various process calculi as well as Peyton Jones’ work in financial engineering. Some example contracts will be presented and discussed.

Speaker Details

Christian Stefansen is a Ph.D. student at DIKU (the Department of Computer Science at the University of Copenhagen, Denmark). In 2003 he received his bachelor’s degree, triple majoring in computer science, mathematics, and business economics. He previously worked with functional programming, e.g. the ML Server Pages Project, and ran a Copenhagen-based consultancy firm.Currently, he is writing his thesis on the application of process calculi to business processes.

    • Portrait of Jeff Running

      Jeff Running

Watch Next