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.
Americans love the romantic vision of a Corvette on the open road and a single-commuter car at the whim of its driver. But with traffic jams and fatal accidents increasing, how will Americans face the reality of transportation’s future and take action to get traffic moving?