522 Contract Drafting: The Next Generation

In their article Contract as Automaton: The Computational Representation of Financial Agreements, Mark Flood and Oliver Goodenough argue that not only can contracts be conceptualized as "finite machine states" that can be automated, but that conceptualizing the legal structure of a contract this way is helpful for determining whether a contract is internally coherent and complete.  Messrs. Flood and Goodenough are moving beyond computer assisted "document assembly"---where guided questions lead word-processor-based document template libraries to a traditional natural-language contract--and exploring an analytical process of turning (at least certain types of) contracts into computer automated "smart contracts".  Building off of Harry Surden's Computable Contracts, Flood and Goodenough apply computational theory to the various states, inputs and transitions of a loan agreement to make the contract a "deterministic finite automaton" (DFA).

This course covers the basic practical skills in contract drafting through written drafting exercises while exploring how legal practice and contract drafting will change.  While working with the course materials, we will inquire as to whether or not the contract elements can be formalized into a smart contract or DFA.  We will also explore Flood and Goodenough's proposition that "The exercise of representing contracts as DFAs can help us better understand how contracts work."  

Students who take Law 522 Contract Drafting: The Next Generation may not take Law 519 Contract Drafting.

Course Areas of Practice
Evaluation Methods
  • Practical exercises
  • Class participation
Degree Requirements
Course Type
  • Simulation
Learning Outcomes
  • Knowledge and understanding of substantive and procedural law
  • Legal analysis and reasoning, legal research, problem-solving, and written and oral communication in the legal context
  • Other professional skills needed for competent and ethical participation as a member of the legal profession

Spring 2018

2018
Course Number Course Credits Evaluation Method Instructor

522x.01 2
  • Practical exercises
  • Class participation
Erika J.S. Buell

In their article Contract as Automaton: The Computational Representation of Financial Agreements, Mark Flood and Oliver Goodenough argue that not only can contracts be conceptualized as "finite machine states" that can be automated, but that conceptualizing the legal structure of a contract this way is helpful for determining whether a contract is internally coherent and complete.  Messrs. Flood and Goodenough are moving beyond computer assisted "document assembly"---where guided questions lead word-processor-based document template libraries to a traditional natural-language contract--and exploring an analytical process of turning (at least certain types of) contracts into computer automated "smart contracts".  Building off of Harry Surden's Computable Contracts, Flood and Goodenough apply computational theory to the various states, inputs and transitions of a loan agreement to make the contract a "deterministic finite automaton" (DFA).

This course covers the basic practical skills in contract drafting through written drafting exercises while exploring how legal practice and contract drafting will change.  While working with the course materials, we will inquire as to whether or not the contract elements can be formalized into a smart contract or DFA.  We will also explore Flood and Goodenough's proposition that "The exercise of representing contracts as DFAs can help us better understand how contracts work."  

Students who take Law 522 Contract Drafting: The Next Generation may not take Law 519 Contract Drafting.

Degree Requirements
Pre/Co-requisites
None

522x.02 2
  • Practical exercises
  • Class participation
Erika J.S. Buell

In their article Contract as Automaton: The Computational Representation of Financial Agreements, Mark Flood and Oliver Goodenough argue that not only can contracts be conceptualized as "finite machine states" that can be automated, but that conceptualizing the legal structure of a contract this way is helpful for determining whether a contract is internally coherent and complete.  Messrs. Flood and Goodenough are moving beyond computer assisted "document assembly"---where guided questions lead word-processor-based document template libraries to a traditional natural-language contract--and exploring an analytical process of turning (at least certain types of) contracts into computer automated "smart contracts".  Building off of Harry Surden's Computable Contracts, Flood and Goodenough apply computational theory to the various states, inputs and transitions of a loan agreement to make the contract a "deterministic finite automaton" (DFA).

This course covers the basic practical skills in contract drafting through written drafting exercises while exploring how legal practice and contract drafting will change.  While working with the course materials, we will inquire as to whether or not the contract elements can be formalized into a smart contract or DFA.  We will also explore Flood and Goodenough's proposition that "The exercise of representing contracts as DFAs can help us better understand how contracts work."  

Students who take Law 522 Contract Drafting: The Next Generation may not take Law 519 Contract Drafting.

Degree Requirements
Pre/Co-requisites
None

Spring 2017

2017
Course Number Course Credits Evaluation Method Instructor

522x.01 2
  • Practical exercises
  • Class participation
Erika J.S. Buell

In their article Contract as Automaton: The Computational Representation of Financial Agreements, Mark Flood and Oliver Goodenough argue that not only can contracts be conceptualized as "finite machine states" that can be automated, but that conceptualizing the legal structure of a contract this way is helpful for determining whether a contract is internally coherent and complete.  Messrs. Flood and Goodenough are moving beyond computer assisted "document assembly"---where guided questions lead word-processor-based document template libraries to a traditional natural-language contract--and exploring an analytical process of turning (at least certain types of) contracts into computer automated "smart contracts".  Building off of Harry Surden's Computable Contracts, Flood and Goodenough apply computational theory to the various states, inputs and transitions of a loan agreement to make the contract a "deterministic finite automaton" (DFA).

This course covers the basic practical skills in contract drafting through written drafting exercises while exploring how legal practice and contract drafting will change.  While working with the course materials, we will inquire as to whether or not the contract elements can be formalized into a smart contract or DFA.  We will also explore Flood and Goodenough's proposition that "The exercise of representing contracts as DFAs can help us better understand how contracts work."  

 

Degree Requirements
Pre/Co-requisites
None

*Please note that this information is for planning purposes only, and should not be relied upon for the schedule for a given semester. Faculty leaves and sabbaticals, as well as other curriculum considerations, will sometimes affect when a course may be offered.