Past Events

In this talk, we introduce some recent regularity results of free boundary in optimal transportation. Particularly for higher order regularity, when densities are Hölder continuous and domains are C^2, uniformly convex, we obtain the free boundary is...

Categorical Message Passing Language (CaMPL) is a functional style concurrent programming language with a categorical semantics. In this talk, we explore the categorical semantics, programming syntax, and proof theory representations for CaMPL. This...

While Einstein's theory of gravity is formulated in a smooth setting, the celebrated singularity theorems of Hawking and Penrose describe many physical situations in which this smoothness must eventually breakdown. In positive-definite signature...

The annual Applied Category Theory (ACT) conference brings together researchers, programmers, scientists and industry who seek to apply the foundational field of Category theory to domains outside of Mathematics such as engineering, computer science...

The annual Applied Category Theory (ACT) conference brings together researchers, programmers, scientists and industry who seek to apply the foundational field of Category theory to domains outside of Mathematics such as engineering, computer science...

Join us on July 27, 2023 for an afternoon and evening of discussion and learning on Tackling Climate Change and the Just Transition to Renewable Energy. This free two-part event is part of a series of French-Ameri-Can Climate Panels (FACTS) on...

A classical Electrical Engineering problem is to determine whether two networks of resistors are equivalent. The standard solution is to use a process of eliminating internal nodes (the star/mesh transformation) which may be seen as a rewriting...

The “Inclusive Paths in Explicit Number Theory” summer school is one of the highlight events organized by the PIMS-funded Collaborative Research Group (CRG) “ L-functions in Analytic Number Theory”. It is a two-week event hosted by the Banff...

The objective of this conference is to bring together researchers, postdoctoral fellows, recent graduates in the fields of statistics, machine learning and optimization to foster collaboration, exchange ideas, and promote the advancement of research...