August 11

• 10:00 AM: Computing Session #1 in HUMB 142
  • 10:00 AM: Computing Session Talk #1.1
    A mechanized characterization of coherent $2$-groups — Perry Hart
  • 10:30 AM: Computing Session Talk #1.2
    Computing path homology chains by inductive construction — Matthew Burfitt
  • 11:00 AM: Computing Session Talk #1.3
    Sheaf Cohomology and the Algebraic Path Problem — Kaelyn Willingham
  • 11:30 AM: Computing Session Talk #1.4
    Sequential topological complexity of symmetric products of surfaces — Ekansh Jauhari

August 12

• 08:30 AM: Computing Session #2 in HUMB 142
  • 08:30 AM: Computing Session Talk #2.1
    Comparison of Precinct and District Voting Data Using Persistent Homology to Identify Gerrymandering in North Carolina — Ananya Shah
  • 09:00 AM: Computing Session Talk #2.2
    Unmapped Territory for Topological Data Analysis: Mathematics Education — Devin Hensley
  • 09:30 AM: Computing Session Talk #2.3
    Unveiling Topological Structures in Text & Speech — Adaku Uchendu
  • 10:00 AM: Computing Session Talk #2.4
    Efficient evader detection in mobile sensor networks — William Ott
• 02:30 PM: Computing Session #3 in HUMB 142
  • 02:30 PM: Computing Session Talk #3.1
    Persistence-Augmented Neural Networks — Elena Wang
  • 03:00 PM: Computing Session Talk #3.2
    Representations of Micrograph Geometry for Machine Learning — Benjamin Schweinhart
  • 03:30 PM: Computing Session Talk #3.3
    Topological Feature Selection for Time Series Data — Johnathan Bush
  • 04:00 PM: Computing Session Talk #3.4
    Squares inscribed in ray compactifications — Ulises Morales-Fuentes

August 13

• 08:30 AM: Computing Session #4 in HUMB 142
  • 08:30 AM: Computing Session Talk #4.1
    Facets in the Vietoris--Rips complexes of hypercubes — Ziqin Feng
  • 09:00 AM: Computing Session Talk #4.2
    Homotopy connectivity of Cech complexes of spheres. — Sucharita Mallick

August 14

• 08:30 AM: Computing Session #5 (CANCELED) in HUMB 142