I'd love to play, but the RPEs run all day that day. I'd kind of like
our students to attend these also... --Bart
On Fri, May 6, 2011 at 11:51 AM, Jamey Sharp <ja...@minilop.net> wrote:
> I've arranged a conference call with Alwyn Goodloe at NASA about work he
> and his collaborators at Georgia Tech have done on applying formal
> methods to control theory. Alwyn gave a talk here at Galois in December
> about this work, if you'd like some background:
> I'm hoping we get to play with their code for translating Matlab/Scilab
> source to C and then verifying that the resulting C code satisfies some
> formal specification for a control loop.
> If you're interested in joining this call, it's next Friday, May 13th,
> at 1PM. We'll meet at the TOVA Company office at PSBA (2828 SW Corbett
> Ave., Suite 130).
> psas-team mailing list
> This list's membership is automatically generated from the memberships of the
> psas-airframe, psas-avionics, and psas-general mail lists. Visit
> http://lists.psas.pdx.edu to individually subscribe/unsubscribe yourself from
> these lists.
psas-team mailing list
This list's membership is automatically generated from the memberships of the
psas-airframe, psas-avionics, and psas-general mail lists. Visit
http://lists.psas.pdx.edu to individually subscribe/unsubscribe yourself from