Oct 28 ACM on CS & Law computersciencelaw.org/program/ heads up Joe Colarusso @GTeninbaum Daniel W. Linna Jr. opentony Jameson this seems to be more East Coast (Law on CS, Berkman / Data & Society) than West Coast (CS on Law, CodeX / ICAIL)

Last call! The European University Institute (EUI) is offering a one year (renewable) position for working with me on my CompuLaw ERC Project. Application from lawyers and computer scientists are welcome! #erc #aiandlaw @AlumniEUI European Research Council (ERC) Link: lnkd.in/desK-2i

Rochelle F Karen Teoh - 🇸🇬 Legalese.com, deep-tech for law For sure. Even in the symbolic AI world, you need to be explicit about the principles and norms you want to affirm. It’s not “what worked before”, it’s “what is correct and proper to us in this case?” Tech provides the tools which you affirm or make explicit these intentions.

Rochelle F Karen Teoh - 🇸🇬 Legalese.com, deep-tech for law Technology just makes it harder (and imho, this is good) for lawyers to hide behind vagueness-masqueraded-as-ambiguity.

Rochelle F Karen Teoh - 🇸🇬 Legalese.com, deep-tech for law Vagueness: don’t put anything I don’t like in my lunchbox (unclear, undefined, uncertain, arbitrary) Ambiguity: don’t put any yellow fruit in my lunchbox (still undefined, but parameters and criteria is less arbitrary)

Corporate law firms are essentially coding in legalese, an obfuscated programming language without a REPL to simulate outcomes. Moving all that to smart contracts over the next few decades will save billions and transform the way we create, fund, manage, and exit companies.

Ian Macalinao Alex Kern We have been summoned! Yes, your intuition (and Balaji’s) is spot on. The technical term for what you described is a Controlled Natural Language. Attempto (and AceRules) are a good example: en.wikipedia.org/wiki/Attempto_…

Ian Macalinao Alex Kern Balaji Now, what underlying logics inform the language? Just as languages like Lisp and Haskell trace their power to the lambda calculus λ, a language for law can exploit the properties of the modal calculus μ – which gives a way to talk about deontic, temporal, and epistemic relations.

Ian Macalinao Alex Kern Balaji Deontics: I must, you may, he mustn’t… Basically RFC2119. Temporals: …pay within 30 days of invoice… Basically LTL/CTL. Epistemics: …and I know you know I know you got the invoice, because registered mail. Or blockchain. These are the building blocks of computational law.

Legalese.com, deep-tech for law Ian Macalinao Balaji This is really fascinating! Love hearing about new formalisms — are there any good introductions to the topic? I can think of a couple applications of this for the static analysis of smart contracts...

Bob Ambrogi Meng Weng Wong Alex GPT Smith I wrote about this last year here: thetimeblawg.com/2018/02/11/hac…

Jason Morris (he/him)💻⚖️🇨🇦 @[email protected] Nelson M. Rosario d/acc 🇵🇷⚖️🤖 Joshua Lenon Dan Lear Bret Victor Matthew Waddington Legalese.com, deep-tech for law Here’s an old deck from 2017 showing legal applications of formal verification generally. docs.google.com/presentation/d…

Jason Morris (he/him)💻⚖️🇨🇦 @[email protected] Nelson M. Rosario d/acc 🇵🇷⚖️🤖 Joshua Lenon Dan Lear Bret Victor Matthew Waddington Legalese.com, deep-tech for law We encoded the relevant regulatory rules and business process state machine into TLA+. TLA+ automatically found a scenario which violated the rules. It is possible that in the real world many such violations occur routinely, unbeknownst to companies. We found the bug!

Jason Morris (he/him)💻⚖️🇨🇦 Inactive; Bluesky is @hillelwayne(dot)com @[email protected] @[email protected] Nelson M. Rosario d/acc 🇵🇷⚖️🤖 Joshua Lenon Dan Lear Bret Victor Matthew Waddington Legalese.com, deep-tech for law So I’m planning a tutorial on formal verification involving temporal, epistemic, and deontic/alethic modals based on this card game. amazon.com/Love-Letter-Ca… If you want to follow along, pick it up soon—and play it with friends! Should be fun barnabe.eth

Reports say Atrium letting go most of its legal staff. Silicon Valley-backed startup had vowed to 'revolutionize legal services' lawsitesblog.com/2020/01/report…

Brigette Metzler @piacandrews @MartinClausen8 Scott McNaughton Jason Morris (he/him)💻⚖️🇨🇦 @[email protected] Hamish Meng Weng Wong Matthew Waddington Some thoughts on "a core vocab"… Andrew S. Tanenbaum once said: "The nice thing about standards is that there are so many of them to choose from."

"We’ve barely entered 2020 and it looks like The Purge has begun." The Time Blawg conclusion to a comprehensive round-up of the Atrium ballyhoo. thetimeblawg.com/2020/01/20/is-…

If anyone has been curious about what exactly #RulesAsCode is, here's an explainer. Featuring work by @nardwebster Meng Weng Wong @piacandrews OpenFisca govinsider.asia/inclusive-gov/…

🎤Full-time positions for CS / Complaw research engineers in Singapore ✅ healthcare & benefits ✅ opensource ✅ use-inspired research / no academic silo ✅ well-resourced research programme ✅ Legalese.com, deep-tech for law’s Meng Weng Wong Alexis Chun and @SgSMUSOL Details: docs.google.com/document/d/1wZ…

Want to learn Alloy? Know Alloy but occasionally forget stuff? I wrote a full online reference! alloy.readthedocs.io You can read the announcement here: hillelwayne.com/post/alloydocs/