Global training solutions for engineers creating the world's electronics products

Reserve your Lunch'n'Learn seat here!

Thank you for your interest in attending the Doulos
"Lunch'n'Learn" at DAC 2023

How Nondeterminism Accelerates Formal Verification
12:15 - 1:15pm - Wed Jul 12 - Moscone Center, West CA
Box Lunch included at the event for the first 50 attendees only - served from 11.45am
PLEASE NOTE: Your Lunch'n'Learn registration does not include access to DAC, so you must register separately to attend the conference:
View your options and sign-up for DAC here »

Enter Details

Title
First Name *
Surname *
Company *
Job Title
Address 1
Address 2
City *
State/district *
Zip/post code
Country *
Telephone Number *
Email Address *
Where did you hear about us? *
Please add brief details here:
Comments
Mail Preference*
We would like to communicate with you about Doulos training services. Please select your preference:

You can change your email preferences at any time.
Doulos does not sell, trade or rent your personal information to others.
We value your privacy - please view our Privacy Policy.