AMS :: Fall Western Sectional Meeting, AMS Special Session

AMS Sectional Meeting AMS Special Session

Current as of Wednesday, February 5, 2020 07:49:26

Associate secretaries:

Michel L Lapidus, AMS lapidus@math.ucr.edu

Saturday November 9, 2019, 8:00 a.m.-10:50 a.m.
Special Session on Applied Category Theory, I
Room 1006, Interdisciplinary Studies North
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
Joe Moeller, University of California, Riverside
- 8:00 a.m.
  Fibrations as generalized lens categories.
  David I Spivak*, MIT
  (1153-18-31)
- 9:00 a.m.
  Supplying bells and whistles in symmetric monoidal categories.
  Brendan Fong*, Massachusetts Institute of Technology
  David I Spivak, Massachusetts Institute of Technology
  (1153-18-47)
- 9:30 a.m.
  Right adjoints to operadic restriction functors.
  Gabriel C. Drummond-Cole, IBS Center for Geometry and Physics
  Philip Hackney*, Department of Mathematics, University of Louisiana at Lafayette
  (1153-18-56)
- 10:00 a.m.
  Duality of Relations.
  Alexander Kurz*, Chapman University
  (1153-18-193)
- 10:30 a.m.
  A synthetic approach to stochastic maps, conditional independence, and theorems on sufficient statistics.
  Tobias Fritz*, Perimeter Institute for Theoretical Physics
  (1153-18-32)

Saturday November 9, 2019, 3:00 p.m.-5:50 p.m.
Special Session on Applied Category Theory, II
Room 1006, Interdisciplinary Studies North
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
Joe Moeller, University of California, Riverside
- 3:00 p.m.
  Constructing symmetric monoidal bicategories functorially.
  Michael Shulman*, University of San Diego
  Linde Wester Hansen, University of Oxford
  (1153-18-464)
- 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:00 p.m.
  Generalized Petri Nets.
  Jade Master*, University of California Riverside
  (1153-18-226)
- 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)
- 5:00 p.m.
  Strings for Cartesian Bicategories.
  M. Andrew Moshier*, Chapman University
  (1153-18-431)
- 5:30 p.m.
  Defining and Programming Generic Compositions in Symmetric Monoidal Categories.
  Dmitry Vagner*, Los Angeles, CA
  (1153-18-378)

Sunday November 10, 2019, 8:00 a.m.-10:50 a.m.
Special Session on Applied Category Theory, III
Room 1006, Interdisciplinary Studies North
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
Joe Moeller, University of California, Riverside
- 8:00 a.m.
  Mathematics for Second Quantum Revolution.
  Zhenghan Wang*, UCSB and Microsoft Station Q
  (1153-18-50)
- 9:00 a.m.
  A Compositional and Statistical Approach to Natural Language.
  Tai-Danae Bradley*, CUNY Graduate Center
  (1153-18-26)
- 9:30 a.m.
  Exploring invariant structure in neural activity with applied topology and category theory.
  Brad Theilman*, UC San Diego
  Krista Perks, UC San Diego
  Timothy Q Gentner, UC San Diego
  (1153-92-260)
- 10:00 a.m.
  Of monks, lawyers and villages: new insights in social network science.
  Nina Otter*, Mathematics Department, UCLA
  Mason A Porter, Mathematics Department, UCLA
  (1153-18-443)
- 10:30 a.m.
  Functorial cluster embedding.
  Steve Huntsman*, BAE Systems FAST Labs
  (1153-18-10)

Sunday November 10, 2019, 2:00 p.m.-4:50 p.m.
Special Session on Applied Category Theory, IV
Room 1006, Interdisciplinary Studies North
Organizers:
John Baez, University of California, Riverside baez@math.ucr.edu
Joe Moeller, University of California, Riverside
- 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)
- 3:00 p.m.
  Brakes: An example of applied category theory.
  Eswaran Subrahmanian*, Carnegie Mellon University/NIST
  (1153-18-453)
- 3:30 p.m.
  Intuitive robotic programming using string diagrams.
  Blake S Pollard*, National Institute of Standards and Technology
  (1153-18-452)
- 4:00 p.m.
  Metrics on functor categories.
  Vin de Silva*, Department of Mathematics, Pomona College
  (1153-18-416)
- 4:30 p.m.
  Hausdorff and Wasserstein metrics on graphs and other structured data.
  Evan Patterson*, Stanford University
  (1153-90-24)