Conférences  >  Mathématiques  >  Cours et évènements pour étudiants en mathématiques  >  États-Unis

Mathematical Sciences Research Institute (MSRI)

Computational proof assistants now make it possible to develop global, digital mathematical libraries with theorems that are fully checked by computer. This summer school will introduce students to the new technology and the ideas behind it, and will encourage them to think about the goals and benefits of formalized mathematics. Students will learn to use the Lean interactive proof assistant, and by the end of the session they will be in a position to formalize mathematics on their own, join the Lean community, and contribute to its mathematical library.

Algèbre,    Démonstration automatique de théorèmes

Mathematical Sciences Research Institute (MSRI)

The overarching goal of this summer school is to expose the students both to modern forms of unsupervised learning — in the form of geometrical and topological data analysis — and to supervised learning — in the form of (deep) neural networks applied to regression/classification problems. The organizers have opted for a lighter exposure to a broader range of topics. Using the metaphor of a meal, we are offering 2 + 2 samplers — geometry and topology for data analysis + theoretical and practical deep learning — rather than 1 + 1 main dishes. The main goal, thus, is to inspire the students to learn more about one or several of the topics covered in the school.

Mathematical Sciences Research Institute (MSRI)

The school will provide the mathematical and theoretical computer science toolbox that forms the foundation of market and mechanism design - two of the burning research areas of the 21st century. Market and mechanism design are beautiful examples of how deep mathematical theory can lead to improved design of real-world marketplaces and auctions. We shall consider the algorithmic, complexity, economic and societal aspects of these topics.

Mathematical Sciences Research Institute (MSRI)

This graduate summer school will introduce students to two important and inter-related fields of differential geometry: geometric flows and minimal surfaces.

Algèbre,    Géométrie et topologie

Mathematical Sciences Research Institute (MSRI)

The school is built around two related courses on geometric (‘derived spaces’) and categorical (‘derived categories’) aspects of the theory. Our goal is to explain the key ideas and concepts, while trying to keep technicalities to a minimum.

Mathematical Sciences Research Institute (MSRI)

Mathematical Sciences Research Institute (MSRI)

The goal of the summer school is for the students to first become familiar with the concept of concentration of measure in different settings (Euclidean, Riemannian and discrete), and the main open problems surrounding it. The students will later become familiar with the proof techniques that involve the different types of localization and obtain expertise on the ways to apply the localization techniques. After attending the graduate school, the students are expected to have the necessary background that would give them a chance to both conduct research around open problems in concentration of measure, find new applications to existing localization techniques and perhaps also develop new localization techniques.

Statistique, Théorie des jeux,    Géométrie et topologie

Mathematical Sciences Research Institute (MSRI)

This summer school will introduce graduate students to sketching-based approaches to computational linear and multi-linear algebra. Sketching here refers to a set of techniques for compressing a matrix, to one with fewer rows, or columns, or entries, usually via various kinds of random linear maps. We will discuss matrix computations, tensor algebras, and such sketching techniques, together with their applications and analysis.

Gestion des connaissances, Big Data Computing,    Calcul scientifique et science des données

University of Oregon, Eugene

In this workshop we will explore the structure of these categorified Coulomb branches. The simplest (!) example of a categorified Coulomb branch is the coherent Satake category, that is, the category of perverse coherent sheaves on the affine Grassmannian of a complex reductive group (such as GL_n). This is the coherent analogue of the more classical (constructible) Satake category which plays a fundamental role in the geometric Langlands program. We don't expect participants to know what many of those words mean, but they will by the end of the workshop!

Algèbre,    Géométrie et topologie

Algèbre,    Géométrie et topologie

University of Wyoming

The Graduate Research Workshop in Combinatorics (GRWC) is an annual two-week collaborative research workshop for advanced graduate students and postdocs from all areas of combinatorics. Participants work in small collaborative groups with faculty and postdocs on research problems from across the discipline. The workshops also host a variety of professional development workshops to prepare students and postdocs for industrial and academic careers. Participants have come from institutions around the world.

Email.: Combinatorics.Workshop@gmail.com

combinatorics, graph theory, algebraic combinatorics, enumeration, computational combinatorics, combinatorial matrix theory

This will be a workshop in Algebraic Geometry, in topics (tangentially) related to the Stacks project. The participants who apply and are accepted will be graduate students, post-docs, or even senior researchers. Roughly the idea is that they will learn about and work on a single topic in a small group together with a mentor for a week. Part of this process will be seeing how one builds new theory from the foundations. There will also be some talks each day covering advanced topics in algebraic geometry. Mathematicians not in the groups are welcome to come to these talks.

Algèbre,    Géométrie et topologie

This is a residential summer school on the theme of translating notions in manifold topology to a symplectic setting.