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
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
2018
Spring 2018
Course Number Course Credits Evaluation Method Instructor Meeting Day/Times Room

522.01 2
  • Practical exercises
  • Class participation
Erika J.S. Buell Tu 2:00-3:50 PM 4049

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.

Pre/Co-requisites
None
Enrollment Restrictions
None

522.02 2
  • Practical exercises
  • Class participation
Erika J.S. Buell Tu 10:30-12:20 PM 4046

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.

Pre/Co-requisites
None
Enrollment Restrictions
None
2017
Spring 2017
Course Number Course Credits Evaluation Method Instructor Meeting Day/Times Room

522.01 2
  • Practical exercises
  • Class participation
Erika J.S. Buell Tu 1:45-3:35 PM 4044

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."  

 

Pre/Co-requisites
None
Enrollment Restrictions
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.