Today, November 30th, is AMS Day! Join our celebration of AMS members and explore special offers on AMS publications, membership and more. Offers end 11:59pm EST.
3:30 p.m. Structured cospans. Kenny Courser*, University of California, Riverside
John C. Baez, University of California, Riverside and Centre for Quantum Technologies, National University of Singapore
(1153-18-223)
4:30 p.m. Formal composition of hybrid systems. Jared Culbertson, Air Force Research Laboratory
Paul Gustafson*, Wright State University
Dan Koditschek, University of Pennsylvania
Peter Stiller, Texas A University
(1153-18-401)
2:00 p.m. Quantitative equational logic. Prakash Panangaden*, School of Computer Science, McGill University
Radu Mardare, Strathclyde University
Gordon D. Plotkin, University of Edinburgh
(1153-18-28)