April 15 @ 10:30 am - 11:30 am Programmable Software Systems for Correct High-performance Applications 3725 Beyster Building 2260 Hayward Street, Ann Arbor