There is this tremendous body of knowledge in the world of academia where extraordinary numbers of incredibly thoughtful people have taken the time to examine on a really profound level the way we live our lives and who we are and what we've been. That brilliant learning sometimes gets trapped in academia and never sees the light of day.

Why Computational Law?

Part II. What solutions have people explored?

(at least) 70 years of legal informatics

the legal informatics industry is older than most web developers today

an (incomplete) history in rough chronology; holler if we missed something

Formalising Contracts

Formalising Regulations

As the richly interpretable saying goes, "Law is Code" and, conversely, Code is Law (Lessig, 2000). Legislative and regulatory constraints may be modeled using a declarative language. Contracts and execution relations may be automatically produced as satisfactions of constraints. TheOracle Policy Automationis a commercial example of it; though Carl Malamud and Thomas Bruce might argue that this should be done in an open way.

Modelling Performance

Formal Verification of Smart Contracts

Formal methods and languages like Agda, Idris, Why3, and CoQ, not to mention specification languages like Z, hold much promise. On the spectrum of software reliability, smart contracts ought to live near-mission-critical or life-critical software – cryptosystems, human-crewed spacecraft, hospital equipment. Today, they’re closer to enterprise web-apps.
See The Atlanticon why formal verification is important.

Academia-Industry Partnerships

Workshops & Conferences

Well, all information looks like noise until you break the code