Announcements
Math Department Awards Day Ceremony
We gathered at this afternoon in the Andre Schenker Lecture Hall to celebrate the accomplishments of our students. Families and friends of students, as well as staff and faculty gathered for the happy occasion, with a light reception of refreshments prior to it. Awards were presented to both undergraduate and graduate students, as well as […]
[Read More]Math Department Awards Day Ceremony on 4/19
We gathered at three thirty in the afternoon at Schenker Auditorium to celebrate the accomplishments of our students. Families and friends of students, as well as staff and faculty were present for the happy occasion. A good spread of snacks greeted the attendees. Rachel D’Antonio was the leader of ceremonies, introducing each award. There was […]
[Read More]Stuart Sidney Math Competition on April 2nd
News & Achievements
Math Department Awards Day Ceremony
We gathered at this afternoon in the Andre Schenker Lecture Hall to celebrate the accomplishments of our students. Families and friends of students, as well as staff and faculty gathered for the happy occasion, with a light reception of refreshments prior to it. Awards were presented to both undergraduate and graduate students, as well as […]
[Read More]Professor Guozhen Lu elected AAAS Fellow
We are delighted with the news that our colleague Professor Guozhen Lu has been elected a Fellow of the American Association for the Advancement of Science (AAAS), one of the world’s largest general scientific societies. As the AAAS notes, election to be a Fellow is “a distinguished lifetime honor within the scientific community.” Professor Lu […]
[Read More]Math Department Awards Day Ceremony on 4/19
We gathered at three thirty in the afternoon at Schenker Auditorium to celebrate the accomplishments of our students. Families and friends of students, as well as staff and faculty were present for the happy occasion. A good spread of snacks greeted the attendees. Rachel D’Antonio was the leader of ceremonies, introducing each award. There was […]
[Read More]Goldenson Center research on the NBC Connecticut news
Small Business Life Expectancy actuarial research model featured in UConn Today and Contingencies magazine
Stuart Sidney Math Competition on April 2nd
Upcoming Events
-
Apr
25
Probability and Data Science Colloquium 2:15pm
Probability and Data Science Colloquium
Thursday, April 25th, 2024
02:15 PM
Online
Speaker: Gordon Slade (UBC)
Contact Information:
More -
Apr
26
SIGMA Seminar - Formalizing Simplicial Topology in Lean- Garett Cunningham (UConn) 12:20pm
SIGMA Seminar - Formalizing Simplicial Topology in Lean- Garett Cunningham (UConn)
Friday, April 26th, 2024
12:20 PM - 01:10 PM
Monteith Building
In theory, proof assistants are a useful tool for validating mathematical claims. We will use simplicial topology as a case study to look at what goes into formalizing mathematics from pen and paper to the digital world. This is based on previous work with Stefan Friedl focused on formalizing stellar subdivisions of simplicial complexes. I will present a few anecdotal stories from our project that demonstrate some of the challenges involved. Topics include (but are not limited to) what changes when we introduce types to topology, decidability and computational complexity concerns, and what to do when the proof is left as an exercise for the reader.
Contact Information:
More -
Apr
26
Logic Colloquium: Xinhe Wu (NCSU) 2:00pm
Logic Colloquium: Xinhe Wu (NCSU)
Friday, April 26th, 2024
02:00 PM
MCHU 201 & Zoom
Join us in the Logic Colloquium!
Xinhe Wu (NCSU):
“Vague Identity: A Uniform Approach”There are numerous apparent examples of vague identity, i.e. examples where two objects appear to be neither determinately identical nor determinately distinct. Philosophers disagree on whether the source of vagueness in identity is semantic or ontic/metaphysical. In this talk, I explore the use of Boolean-valued models as a many-valued semantic framework for identity. I argue that this semantics works well with both a semantic and ontic conception of vague identity. I also discuss, in the context of Boolean-valued logic, responses to the Evans’ argument under the two conceptions.
All welcome! -
Apr
29
PDE and Differential Geometry Seminar, Sven Hirsch (IAS) 2:30pm
PDE and Differential Geometry Seminar, Sven Hirsch (IAS)
Monday, April 29th, 2024
02:30 PM - 03:30 PM
Monteith Building
-
May
24
World Sequence Day All Day
World Sequence Day
Friday, May 24th, 2024
All Day
Homer Babbidge Library, Heritage Room
Mini-Conference
Speakers include:
Bas van Fraassen
Robert Stalnaker
Cian Dorr
Melissa Fusco
Calum McNamara