The workshop aimed to explore the use of new mathematical and computational approaches to investigate the fundamental principles governing the organization and dynamics of biological systems. This necessitated conversations ...

Machine learning has achieved remarkable successes in various applications, but there is wide agreement that a mathematical theory for deep learning is missing. Recently, some first mathematical results have been derived ...

Within the last decade image and geometry processing have become increasingly rigorous with solid foundations in mathematics. Both areas are research fields at the intersection of different mathematical disciplines, ranging ...

Since 1950, mathematicians have become increasingly familiar with the digital computer in their professional practice. Previously, however, many other instruments, now mostly forgotten, were commonly used to compute numerical ...

The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.

The workshop “Mathematical Logic: Proof Theory, Type Theory

The field of quantum chemistry is concerned with the modelling and simulation of the behaviour of molecular systems on the basis of the fundamental equations of quantum mechanics. Since these equations exhibit an extreme ...

The workshop on "Mathematical Methods in Quantum Molecular Dynamics" has brought together chemists, mathematicians, and physicists developing new mathematical methods for studying the motion of atoms in molecules and in ...