Free

TrustInSoft Product Launch Evening

Event Information

Share this event

Date and Time

Location

Location

Santa Clara Convention Center

5001 Great America Pkwy

The Great America Room 2

Santa Clara, CA 95054

View Map

Friends Who Are Going
Event description

Description

Imagine a dragon without fire. You can’t, right? Well, we can’t imagine a software without mathematical guarantees either. Learn how to formally verify YOUR code with the very 1st free & online source code analyzer. Free champagne, live demos, free beta access, and keynotes from outstanding researchers. Don’t miss out!

5 Reasons to participate

  • Opening keynote by Dr. John Murray, Program Director at SRI International Computer Science Laboratory, about Formal Methods & Software Validation in the real world
  • Announcement speech by CTO Benjamin Monate, introducing the 1st Free & Online Source Code Analyzer with mathematical guarantees
  • Live static source code analysis demo
  • Cocktail & Networking
  • Get a FREE Expo Pass or a 20% discount on a Conference Pass at ARM TECHCON 2017 from TrustInSoft using the code: “INVITE”
Share with friends

Date and Time

Location

Santa Clara Convention Center

5001 Great America Pkwy

The Great America Room 2

Santa Clara, CA 95054

View Map

Save This Event

Event Saved