AMS :: Fall Western Sectional Meeting, AMS Special Session

AMS Sectional Meeting AMS Special Session

Current as of Saturday, November 11, 2017 03:30:05

Associate secretaries:

Saturday November 4, 2017, 9:00 a.m.-10:50 a.m.
Special Session on Applied Category Theory, I
Room 268, Highlander Union Building
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
- 9:00 a.m.
  A higher-order temporal logic for dynamical systems.
  David I. Spivak*, MIT
  (1134-18-32)
- 10:00 a.m.
  Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams.
  Dmitry Vagner*, Duke University
  David I. Spivak, MIT
  Eugene Lerman, University of Illinois at Urbana-Champaign
  (1134-18-21)
- 10:30 a.m.
  Abstract Dynamical Systems.
  Christina Vasilakopoulou*, University of California, Riverside
  David Spivak, Massachusetts Institute of Technology
  Patrick Schultz, Massachusetts Institute of Technology
  (1134-18-34)

Saturday November 4, 2017, 3:00 p.m.-5:50 p.m.
Special Session on Applied Category Theory, II
Room 268, Highlander Union Building
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
- 3:00 p.m.
  Black boxes and decorated corelations.
  Brendan Fong*, Massachusetts Institute of Technology
  (1134-18-27)
- 4:00 p.m.
  Compositional modelling of open reaction networks.
  Blake S Pollard*, University of California, Riverside
  John C Baez, University of California, Riverside
  (1134-18-37)
- 4:30 p.m.
  A bicategory of coarse-grained Markov processes.
  K Courser*, University of California, Riverside
  (1134-18-30)
- 5:00 p.m.
  A bicategorical syntax for pure state qubit quantum mechanics.
  Daniel Michael Cicala*, University of California, Riverside
  (1134-18-26)
- 5:30 p.m.
  Open Systems in Classical Mechanics.
  Adam Yassine*, University of California Riverside
  (1134-18-31)

Sunday November 5, 2017, 9:00 a.m.-10:50 a.m.
Special Session on Applied Category Theory, III
Room 268, Highlander Union Building
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
- 9:00 a.m.
  Controllability and observability: diagrams and duality.
  Jason Erbele*, Victor Valley College
  (1134-93-103)
- 9:30 a.m.
  Frobenius monoids, weak bimonoids, and corelations.
  Brandon Coya*, University of California, Riverside
  (1134-18-38)
- 10:00 a.m.
  Compositional design and tasking of networks.
  John C. Baez, University of California, Riverside
  John D. Foley*, Metron, Inc.
  Joseph Moeller, University of California, Riverside
  Blake S. Pollard, University of California, Riverside
  (1134-18-182)
- 10:30 a.m.
  Operads for modeling networks.
  Joseph Moeller*, University of California, Riverside
  John Baez, University of California, Riverside
  Blake Pollard, University of California, Riverside
  John Foley, Metron Inc.
  (1134-94-36)

Sunday November 5, 2017, 2:00 p.m.-4:50 p.m.
Special Session on Applied Category Theory, IV
Room 268, Highlander Union Building
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
- 2:00 p.m.
  Reeb Graph Smoothing via Cosheaves.
  Vin de Silva*, Pomona College
  (1134-18-122)
- 3:00 p.m.
  Knowledge Representation in Bicategories of Relations.
  Evan Patterson*, Stanford University, Statistics Department
  (1134-18-35)
- 3:30 p.m.
  The multiresolution analysis of flow graphs.
  Steve Huntsman*, BAE Systems
  (1134-18-47)
- 4:00 p.m.
  TIME CHANGE: Data modeling and integration using the open source tool Algebraic Query Language (AQL).
  Peter Y. Gates*, Categorical Informatics
  Ryan Wisnesky, Categorical Informatics
  (1134-68-336)
- 4:30 p.m.
  TALK CANCELLED: Categorical Logic as a Foundation for Reasoning Under Uncertainty.
  Ralph L Wojtowicz*, Shepherd University
  (1134-60-11)