World Conference Calendar

34363 Conferences

TrustInSoft Product Launch Evening

Added by evvnt_Platform on 2017-10-03

Conference Dates:

Start Date Start Date: 2017-10-25
Last Date Last Day: 2017-10-25
Deadline for abstracts/proposals Deadline for abstracts/proposals: 2017-10-24

Conference Contact Info:

Contact Person Contact Person: Selma Chababi
Email Email:
Address Address: Santa Clara Convention Center, The Great America Room 2, 5001 Great America Pkwy, Santa Clara, CA, 95054, United States
Phone Tel: +33783403341

Conference 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 ( urray) , 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 ( mtechcon17/submissions/trustinsoft/trust insoft.html) from TrustInSoft using the code: ďINVITEĒ

Price: free

Artists / Speakers: Fabrice Derepas

Time: 5:00 pm - 7:30 pm
© 2018 World Conference Calendar. All rights reserved.
About WCC | News | FAQs | Links | Terms and Conditions | Privacy | Contact Us