Konferenzen  >  Mathematik  >  Kurse und Veranstaltungen für Studenten der Mathematik  >  Deutschland

Hausdorff Research Institute for Mathematics (HIM)

The goal of this program is to bring together experts of Formal Mathematics, exploit their interactions, foster future collaborations, and interface them better with the mathematical mainstream. At the same time the goal is to provide a platform for junior researchers to enter Formal Mathematics. A central, unifying theme is to break down adoption barriers of formal methods in Mathematics.

Mathematische Logik, Grundlagen der Mathematik,    Computer-gestütztes Beweisen

Hausdorff Research Institute for Mathematics (HIM)

The workshop is primarily aimed at researchers on the doctoral and early postdoctoral level. Besides the mini-courses and research talks of the speakers listed below, we will offer selected participants the opportunity to present their own work.

Hausdorff Research Institute for Mathematics (HIM)

Disordered systems emerge from physical models by incorporating additional random effects. They also appear as models for complex systems in various contexts, such as computer science or biology. Understanding these models rigorously has been a great challenge for several decades, but the mathematical research in disordered systems and related fields has seen tremendous progress in recent years and benefits from a fruitful interplay of techniques from probability theory, mathematical analysis, combinatorics and mathematical physics. The aim of the school is to present to PhD students and young researchers some of the most fascinating developments in disordered systems and related fields in recent years.

Systemtheorie, Regelung und Automatisierung,    Komplexe Systeme und Chaos

Hausdorff Research Institute for Mathematics (HIM)

The trimester program aims to bring together experts, postdocs, and students in computer science and certain areas in mathematics (analysis, probability, and combinatorics) in order to learn about some challenging open problems recently raised in computer science, to use and invent necessary new tools and techniques in mathematics to solve these challenging problems, and vice versa to learn and further extend methods developed in computer science to develop new directions in mathematics motivated by questions in computer science. The core topics of the trimester program would be: learning theory, complexity of classical and quantum algorithms, vector valued functions on the hypercube, complex Hypercontractivity, polynomial inequalities on the hypercube, and discrete approximation theory on the hamming cube.

Analysis,    Informationstheorie und Grundlagen der Informatik

The Hausdorff Research Institute for Mathematics (HIM)

The interaction between learning theory and harmonic analysis was emphasized by mathematics of quantum computing. One of the outstanding open problems in this area concerns the sharp estimates in Bohnenblust-Hille inequality that generalizes a celebrated Littlewood’s lemma. How to learn (with small error and with large probability) a complicated function or a very large matrix in a relatively small number of random (quantum) queries? Of course, there should be some Fourier type restrictions on a function (a matrix) to have a reasonable answer to this. The “classical” way of learning (Boolean) functions comes from very sophisticated extensions of theorems of Kahn—Kalai—Linial type. In those results the interplay between maximal influence and heavy Fourier tails is the main technique. Maximal influence should be large if the `tail’ is small. However, recently another approach that is hinged on Bohnenblust—Hille inequality appeared. The school will cover the classical maximal influence approach to `probably approximately correct' (PAC) learning as well as the recent achievements using Bohnenblust—Hille inequality and its quantum counterpart.

Neuronale Netze und Künstliche Intelligenz, Maschinelles Lernen,    Analysis

SFB 1085 Higher Invariants at the Faculty of Mathematics at the Universität Regensburg

Algebra,    Analysis