Advisor:  Dr. Henry Adams Committee:  Dr. Chris Peterson, Dr. Amit Patel, Dr. Asa Ben-Hur Title: Persistence and Metric Thickenings Abstract: This talk will cover multiple related topics in applied topology.  Persistent homology, the main tool of applied topology, is based on the algebraic theory of persistence modules.  This theory has developed over roughly the last […]

featuring posters from various 400-level Math courses and Summer REU projects DAY:  This Thursday, December, 8 TIME: 9:00-11:00 WHERE:  LSC, Main Ballroom, Ballroom A This will be in the stead of Tea Time this Thursday, so come to the Poster Session for coffee, tea, and interaction with students!   Students always really appreciate everyone's participation […]

Title: "Interpolation for polynomials in two variables" Abstract: I will discuss the following problem: given n general points {p_i} in the plane, and positive integer {m_i}, what is the dimension of the space of polynomials f(x,y) of degree d having multiplicity at least m_i at p_i for each i?  Various conjectures are available for different […]

Come join Educ8 for our last meeting of the semester! We'll have pizza, origami, and math games to have some fun and relax before finals week. We hope to see you there! Educ8 is the Math Education club at CSU. To join the mailing list, please fill out this form: https://forms.gle/fDnn7KZmW6Y3kGeDA

Advisor:  Dr. Rachel Pries Committee:  Dr. Alexander Hulpke, Dr. Mark Shoemaker, Dr Joe Gersch Title: An Exploration of the Genus 2 Superspecial (2,2)-Isogeny Graph Abstract: In 2022, one of the finalists for NIST's call for a post-quantum cryptography, SIKE, was broken by Castryck and Decru. They constructed an attack relying on the Genus 2 Superspecial […]

Professor James Wilson will be giving a high-level survey of where we are going with Homotopy Type Theory this semester.

The first third of the semester will be used to prepare for Professor Emily Rheil's colloquium talk on homotopy type theory on February 20 - we will be walking through type theory - simple, dependent, identity types, and induction. Lastly, we have a new website! It's at https://csu-applied-category-theory.github.io/

The Rocky Mountain Algebraic Combinatorics Seminar (RMAC) will be starting up again this semester with our first talk on February 3, 2023.  Our seminars will happen on some Fridays at 4 PM in Weber 223 on CSU's campus as usual, with refreshments beforehand at 3:30 in Weber 117. Gelfand pairs and finite metric spaces Richard […]

Dive into the basics of R/Python! Bring a laptop computer for interactive learning. spring23awmposter

Talk 1: Spectral Turan problems for intersecting even cycles Dheer Desai University of Wyoming Turán numbers are a cornerstone of extremal graph theory. For graphs with chromatic number at least three, the asymptotics of the Turán numbers are completely known and follow from celebrated results of Erdős, Stone and Simonovits. However, these remain unknown for […]

TITLE: Homotopy type theory and univalent foundations ABSTRACT: This talk will introduce alternative foundations for mathematics in which "equality" becomes "identity," which is no longer a mere predicate but can carry structure. The primitive notion is called a "type," which can be interpreted as something like a set, or as something like a mathematical proposition, […]

ibl-sigmaa-speaker-series-spring-2023 Presentations on Thursdays by: Martha Byrne January 26 @ 4 pm EST Edward Burger February 23 @ 11 am EST Daniel Reinholz March 30 @ 2 pm EDT Aditiya Adiredja April 27 @ 2 pm EDT   If you are unable to attend our workshops, we will be posting slides and materials from the […]