AMS Sectional Meeting AMS Special Session

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

Fall Western Sectional Meeting

• University of California, Riverside, Riverside, CA
• November 9-10, 2019 (Saturday - Sunday)
• Meeting #1153

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)