News

The wncg logo with a city in the background.

Intel, NEC, Western Digital Join WNCG Industrial Affiliates

May 15, 2018
This Spring, WNCG welcomes Intel, NEC, and Western Digital as the newest WNCG Industrial Affiliates Program members. All three companies enter as Level 2 members. Since WNCG’s founding, the Industrial Affiliates Program has played a vital role in the group’s success. It facilitates “cooperation and mutual assistance” between WNCG and Affiliate companies. This collaboration between academia and industry embodies the group’s mission to “support research, provide highly relevant education and opportunities, [and] promote technical innovation, imagination and entrepreneurship.”
A man giving a presentation.

UT Austin Hosts MEMOCODE 2015

Oct. 5, 2015
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.