Diverse STEM Professionals

1435 River Park Dr 1435 River Park Drive, Sacramento

Fostering diversity and innovation in STEM by creating a supportive ecosystem for underrepresented STEM professionals.Topic:New Innovations & Entrepreneurial Opportunities in CleanTechMelanie Harrison Okoro, PhD, is the Founder, Chief Executive Officer […]

Build With AI Sacramento 4.0

Online event

AI innovation is skyrocketing, but are you building a biased future? Unconscious bias in training data can lead to AI that perpetuates inequality. Join our exclusive training and learn how […]

Solving Riddles with Z3: An Intro to Formal Methods

Bloom Workspaces 2014 Capitol Ave, Sacramento

**Let’s add the power of formal methods to our toolkit!** *This is a joint session with Coder Consortium at Bloom Workspaces.* We’ll explore Z3, a high-performance theorem prover from Microsoft […]

Solving Riddles with Z3: An Intro to Formal Methods

Bloom Workspaces 2014 Capitol Ave, Sacramento

**Let’s add the power of formal methods to our toolkit!** *This is a joint session with Sacramento Software Engineers at Bloom Workspaces.* We’ll explore Z3, a high-performance theorem prover from […]