News & Events

Auxon announcements and upcoming events.

image-asset-3.jpeg
 

Conference Talks

 

TLA+ Conference

 
 

Exposing Design Flaws in Shared-Clock Systems with TLA+

Russell Mull, Auxon Principal Software Engineer
September 12th, 2019 @ 2:00PM

 
 

Colorado Gold Rust

A Tour of Empirical Verification in Rust

Zack Pierce, Auxon Principal Software Engineer
September 21st, 2019 @ 4:30PM

 
 

Rust Belt Rust

Type Theory for the Working Rustacean

Dan Pittman, Auxon Principal Software Engineer
October 18th & 19th, 2019