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: > > http://corp.galois.com/blog/2010/12/2/galois-video-formal-methods-applied-to-control-software.html > > 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). > > Jamey > > _______________________________________________ > psas-team mailing list > psas-team@lists.psas.pdx.edu > http://lists.psas.pdx.edu/mailman/listinfo/psas-team > > 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 psas-team@lists.psas.pdx.edu http://lists.psas.pdx.edu/mailman/listinfo/psas-team 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.