- All Seminars
- Actuarial Science Seminar
- Algebra Seminar
- Analysis Learning Seminar
- Analysis and Probability Seminar
- Cluster Algebras Seminar
- Connecticut Logic Seminar
- Control and Optimization
- Discrete Mathematics Seminar and Statistical Mechanics
- Geometric and Functional Inequalities and Applications
- Math Club Talks
- Mathematical Physics Seminar
- Mathematics Colloquium
- Mathematics Education Seminar
- Mathematical Finance Seminar
- Ph.D. Defense
- PDE and Differential Geometry Seminar
- S.I.G.M.A. Seminar
- UConn Logic Colloquium
All Seminars
- 4/25 Probability and Data Science Colloquium
Probability and Data Science Colloquium
Thursday, April 25th, 20242:15 PM - OnlineSpeaker: Gordon Slade (UBC)
Title:
Convergence of the lace expansion
Abstract:
The lace expansion is a flexible method that has been used since the
1980s to analyse the critical behaviour of high-dimensional random
systems, including self-avoiding walk, percolation, and spin systems. It
originated in work of Brydges and Spencer on weakly self-avoiding walk
in dimensions above 4, and since then several different approaches have
been developed to prove convergence of the expansion. I will explain
what the lace expansion for self-avoiding walk is, and will present a
new and relatively simple method for proving convergence of the lace
expansion for weakly self-avoiding walk. The talk is based on Ann. Inst.
H. Poincaré Probab. Statist., 58:26-33, (2022). Extensions of the
method have subsequently been obtained in joint work with Yucheng Liu:
arXiv:2310.07635 and arXiv:2310.07640.Join Zoom Meeting
https://uconn-edu.zoom.us/j/3106002217?pwd=OVd2L0g5c0NMM3o4MjRGRWNsNVFJdz09Meeting ID: 310 600 2217
Passcode: DG3fAAContact Information: More - 4/26 SIGMA Seminar - Formalizing Simplicial Topology in Lean- Garett Cunningham (UConn)
SIGMA Seminar - Formalizing Simplicial Topology in Lean- Garett Cunningham (UConn)
Friday, April 26th, 202412:20 PM - 1:10 PM Monteith BuildingIn 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 - 4/26 Logic Colloquium: Xinhe Wu (NCSU)
Logic Colloquium: Xinhe Wu (NCSU)
Friday, April 26th, 20242:00 PM - MCHU 201 & ZoomJoin 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!Contact Information:logic@uconn.edu
More - 4/29 PDE and Differential Geometry Seminar, Sven Hirsch (IAS)
PDE and Differential Geometry Seminar, Sven Hirsch (IAS)
Monday, April 29th, 20242:30 PM - 3:30 PM Monteith BuildingContact Information:lan-hsuan.huang@uconn.edu
More - 5/24 World Sequence Day
World Sequence Day
Friday, May 24th, 2024All Day Homer Babbidge Library, Heritage RoomMini-Conference
Speakers include:
Bas van Fraassen
Robert Stalnaker
Cian Dorr
Melissa Fusco
Calum McNamaraContact Information:stefan.kaufmann@uconn.edu
More - 9/24 Analysis and Probability Seminar Sergey Nadtochiy (Illinois Institute of Technology)
Analysis and Probability Seminar Sergey Nadtochiy (Illinois Institute of Technology)
Tuesday, September 24th, 20243:30 PM -Abstract: TBA
Contact Information: More - 11/15 Logic Colloquium: Zeynep Soysal (Rochester)
Logic Colloquium: Zeynep Soysal (Rochester)
Friday, November 15th, 20242:00 PM - 3:30 PM t.b.d.Join us in the Logic Colloquium for a talk by Zeynep Soysal (Rochester)!
Details t.b.a.
Contact Information:logic@uconn.edu
More