News

A man in a suit standing in front of a projector.

D-STOP Symposium 2016 Explores Future of Smart Cities

May 25, 2016
The Data-Supported Transportation Operations and Planning Center (D-STOP) from UT Austin met with representatives from local and state government, academia and industry in early April at a symposium designed to collaborate on the future of Smart Cities. The day-long event explored smart transportation systems, collaborative ecosystems, infrastructure-based technology, regional planning and analytics and connected vehicles through a series of panels featuring experts in the field.
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.