Past Events

I will provide a (very basic) tutorial on the Curry-Howard correspondence between proofs (in natural deduction) and terms in the typed λ-calculus. No prior knowledge of either will be presupposed.

A set {a1,a2,…,am} of distinct positive integers is a Diophantine m-tuple if the product of any two distinct elements in the set is one less than a square. There is a long history and extensive literature on the study of Diophantine tuples and their...

The homomorphism density of a graph H in a graph G is the probability that a random function from the vertex set of H to the vertex set of G is a graph homomorphism. A natural question studied by Leontovich and Sidorenko back in the 80s and 90s is...

We establish a Weyl-type estimate for exponential sums over irreducible elements in function fields. As an application, we generalize an equidistribution theorem of Rhin. Our estimate works for polynomials with degree higher than the characteristic...

Microplastics pose a severe threat to marine ecosystems; however, relevant mathematical modeling and analysis are lacking. This paper formulates two stoichiometric producer-grazer models to investigate the interactive effects of microplastics...

Given two sets X, Y in R^d, such that X isn't contained in a k-plane, we show that there exists a point x in X such that the radial projection pi_x (Y) has Hausdorff dimension > min(dim(X), dim(Y), k) - eps, for any given eps > 0. This improves a...

The Selberg class consists of functions sharing similar properties to the Riemann zeta function. The Riemann zeta function is one example of the functions in this class. The estimates for logarithms of Selberg class functions and their logarithmic...

The COVID-19 pandemic has illustrated both the utility and limitation of using epidemic models for understanding and forecasting disease spread. One of the many difficulties in modelling epidemic spread is that caused by behavioural change in the...

The question of integrality for semi-simple algebraic groups over the field of rational numbers was esablished by Chevalley in the 1950s as part of his work on associating affine group schemes with groups over integers. For infinite-dimensional Kac...

A well-known result on compact Riemann surfaces says that the automorphism group of any such surface is a finite group of bounded size (based on the genus of the surface). Additionally, the Riemann-Hurwitz formula gives us an expectation for when a...