(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


Legalese Pte. Ltd. ©  All rights reserved.