Symbolics

Mathematical Systems Inc.

Ontolonomy, LLC

Lawrence Livermore National Laboratory

Contellas Inc. / Pocket Change