The FCC recently announced new spectrum for millimeter wave. The new rules open nearly 11 gigahertz of high-frequency spectrum for mobile and fixed wireless broadband, which include 3.85 GHz of currently licensed spectrum and 7 GHz of unlicensed spectrum. This decision could prove critical for the U.S. to retain its leadership in the field of wireless communications.
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.