November 1 - 5, 1997
Hyatt Regency Lake Tahoe
Incline Village, Nevada; USA
In conjunction with the formal presentation sessions of the conference, ASE97 will also provide an opportunity for groups and individuals who would like to demonstrate working systems that successfully apply the principles and techniques of automated reasoning to challenges is program development and software engineering.
Interested parties should contact Alan Whitehurst at whitehur@cs.byu.edu, or call (801) 378-5319.
Back to the ASE'97 Homepage