Manes (University of Massachusetts, Amherst) 10:20-11:00 Program Correctness and Matricial Theories Stephen L. Bloom (Stevens Institute of Technology) Zoltan ...Read more
