Adjoint and Thomson Reuters Present: Corporate Treasury Breakfast

How Adjoint's enterprise treasury blockchain solution partners with Thomson Reuters to provide accurate and auditable interest rates, credit/risk & valuation

SPEAKERS:

Read More
blog post image
14 Nov

NACT: 2018 Fall Treasurers Conference

Adjoint to speak on a panel alongside treasurers of multinational enterprises

November 14-15, 2018
Hyatt Regency O'Hare
Rosemont, IL

Read More

The European Captive Forum

Taking place 14 - 15 November 2018 at the European Convention Center Luxembourg (ECCL), the European Captive Forum brings together Europe's prime captive insurance and risk management professionals for two days of world-class networking and industry insights. 

Read More
blog post image
24 Oct

How the North America Energy Standards Board can help industry embrace smart contract and distributed ledger technologies

NAESB Meeting: Presentation by NAESB Board Member and Adjoint COO, Somil Goyal

Currently, operations in the wholesale gas industry are in siloed environments, with different data and communication standards being used.  An agreed upon industry-wide movement to digital contract will increase the efficiency, speed and security across the industry. NAESB standard request 18.007 made by Adjoint Inc, American Electric Power Service Corp., Big Data Energy Services, JKM Energy & Environmental Consulting, Pariveda and Tennessee Valley Authority proposes the standardization of a modeling language for natural gas smart contracts for the NAESB WGQ Standard No. 6.3.1 – NAESB Base Contract for Sale and Purchase of Natural Gas.

Read More
blog post image
12 Oct

"A formal approach to distributed systems: implementing a pi-calculus interpreter in Haskell"

It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions. However, once we have them at the type-level, you often find that GHC's type checker complains about two "obviously" similar expressions not being equal. It may not see that x + 0 and 0 + x are the same for any natural number x.

Read More