Toyota InfoTechnology Center, U.S.A. (Toyota ITC), recently joined the WNCG Industrial Affiliate Program as a level one member, and as a founding member of the UT SAVES research initiative.
The 13th ACM-IEEE International Conference on Formal Methods and Models for System Design was held this year on the UT Austin campus September 21-23. The conference was held in conjunction with co-located FMCAD, SAT, DIFTS and ACL2 conferences.
