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 […]
Advisor: Dr. Henry AdamsCo-Advisor:Emily King Committee: Dr. Jess Hagman, Dr. Imme Ebert-Uphoff Title: Using Mathematical Techniques to Leverage Domain Knowledge in Image Analysis for Earth Science Abstract: When presented with the power of modern machine learning techniques, there is a belief that we can simply let these algorithms loose on the data and see what […]
Advisor: Dr. Michael Kirby Committee: Dr. Emily King,Dr. Chris Peterson,Dr. Charles Anderson Title: Subspace and Network Averaging for Computer Vision and Bioinformatics Abstract: Finding a central prototype (a.k.a. average) from cluster of points may seem like a problem from elementary school statistics (e.g. the mean), but has broad application to complex problems like action clustering […]
This calendar is used exclusively for events or announcements sponsored by the Department of Mathematics, the College of Natural Sciences or Colorado State University.
