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.
The next generation of wireless networks will become the dominant means for video content delivery, leveraging rapidly expanding cellular and local area network infrastructure. We believe that video networks at every time-scale and layer should operate and adapt with respect to perceptual distortions in the video stream.
