AMS Sectional Meeting Program by Special Session

Current as of Tuesday, April 12, 2005 15:08:35

Program | Deadlines | Inquiries: meet@ams.org

Associate secretaries:
W Wistar Comfort, AMS wcomfort@wesleyan.edu

Saturday October 21, 1989, 8:00 a.m.-9:50 a.m.
Special Session on Algebraic Semantics, I
Room 216, Pierce Hall
- 8:00 a.m.
  Matrix and matricial iteration theories.
  Stephen L. Bloom*, Stevens Institute of Technology
  (851-68-68)
- 8:30 a.m.
  Algebraic semantics and data directed design.
  Eric G. Wagner*, IBM T. J. Watson Research Center, Yorktown Heights, New York
  (851-68-66)
- 9:00 a.m.
  Boolean categories: A foundation for assertion semantics.
  Ernest G. Manes*, University of Massachusetts, Amherst
  (851-68-45)
- 9:30 a.m.
  Sequential structures.
  Michael W. Mislove, Tulane University
  Frank J. Oles*, IBM T. J. Watson Research Center, Yorktown Heights, New York
  (851-68-67)

Saturday October 21, 1989, 1:45 p.m.-3:05 p.m.
Special Session on Algebraic Semantics, II
Room 216, Pierce Hall
- 1:45 p.m.
  Step bisimulation can be truly concurrent.
  Douglas R. Troeger*, Syracuse University
  (851-68-69)
- 2:15 p.m.
  A general framework for models of type polymorphism.
  Badri R. Narayanan*, Stevens Institute of Technology
  (851-68-80)
- 2:45 p.m.
  Discussion

Inquiries: meet@ams.org