I am giving a “distinguished lecture” at the University of California, Santa Barbara, January 10 (Friday, tomorrow) at 14. The title is A Comprehensive Approach to Requirements Engineering.
The abstract and rest of the information are here.
I will spend the last few minutes of the talk discussing other current developments (verification, concurrency).
