TrustInSoft Product Launch Evening
- When
- Wed Oct 25, 2017
- Where
- Santa Clara Convention Center
- Time
- 5:00 pm to 7:30 pm
- Cost
- Free
- Tags
- Conferences, Technology
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 (https://www.sri.com/about/people/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 (https://www.linkedin.com/in/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 (http://www.industryconnect.com/shows/armtechcon17/submissions/trustinsoft/trustinsoft.html) from TrustInSoft using the code: “INVITE”
Artists / Speakers: Fabrice Derepas
More Info
- Call
- +33783403341 (Box Office)
- Contact Form (account required)
Comments