PSU Capstone Rust project summaries

This month we'll have teams of PSU students telling us how they used Rust in their senior capstone projects.

One is a flight controller, and the other is a formal verification system. If you'd like to know more about robots, proving software correctness, or just real-world applications of Rust, this is the meetup for you!

Other information:

PDXRust meets on the first Wednesday of every month, from 6-8pm, at Mozilla's Portland space. The first hour is either lightning talks from group members or a more in-depth tutorial from a Rust expert, and the second hour is hacking and social time.

Join us in #pdxrust on irc.freenode.net ( http://webchat.freenode.net/ ) with any feedback about what you'd like to see!

Remember that Rust's Code of Conduct (https://www.rust-lang.org/conduct.html) defines the Rust community's expectations for participation.