Mathematics symposium A–Eskwadraat 2017

Back to the roots
14 februari 2017

On the 14th of februari we will be taking you "Back to the roots!" during A–eskwadraat's mathematics symposium. It may be valentines day but mathematics is of course our biggest love! Just bring your significant other and enjoy the wonders of mathematics with us!

Program

14 februari 2017

13:30

The math behind behavior

Sabine den Daas

Data Scientist(MSc Econometrics and Management Science), Totta Data Lab

The roots of the Riemann zeta function.

Dr. Efthymios Sofos

Mathematical Institute, Leiden University


14:30

Can pure mathematics contain roots -- Historically speaking yes.

Dr. Gerard Alberts

Korteweg - de Vries Institute for mathematics, University of Amsterdam

The Kontsevich graph complex, or how you'll succeed on deforming math wor(l)ds

Dr. Arthemy Kiselev

University of Groningen, Institut des Hautes Etudes Scientifiques and Max Planck Institute for Mathematics Bonn


15:30

The mathematics of black holes

Prof. Stefan Vandoren

Institute for Theoretical Physics, Utrecht University

Homotopy type theory

Dr. Benno Van den Berg

Insitute for Logic, Language and Computation, University of Amsterdam

Speakers


totta data lab

The core business of Totta Data Lab is predicting individual behaviour. We make valuable predictions based on our clients’ (Big) data with our econometrical knowledge and know-how of Machine Learning, from fraud detection and behaviour prediction to consumer path segmentations. Our solutions are broader than the basic techniques such that our predictions meet the requirements for optimal prediction power suitable for the problem. Totta Data Lab has a varied client base, from educational institutions to financial organisations and from local governments to retailers. With each client issue we face different challenges and difficulties. During the Symposium we will guide you to the world of Machine Learning. Enchanting you with the magic of the Data Science working field, we zoom in on the complexity of the theory used in practice. Taking you from the problem definition to the impact of data malfunctions in modeling actual behaviour.


Dr. Efthymios Sofos

The roots of the Riemann zeta function.

We shall provide an introduction to one of the most intriguing modern problems in pure mathematics, the Riemann hypothesis. The hypothesis gives a precise prediction regarding the position of the roots of a certain function that is defined over the complex numbers. It has numerous connections to a vast list of interesting and difficult problems about the prime numbers and we shall give an overview of the progress in these problems during the last few years. We shall then explain the connections of the Riemann hypothesis to subjects that are rather unrelated to the hypothesis at first sight: elliptic curves, primitive roots and modelling the nuclei of heavy atoms.


Dr. Gerard Alberts

This lecture will be in Dutch. For an abstract of this lecture please visit the Dutch page.


Dr. Arthemy Kiselev

The Kontsevich graph complex, or how you'll succeed on deforming math wor(l)ds

Click!

Prof. Stefan Vandoren

The mathematics of black holes

We discuss some of the mathematical aspects behind black holes in Einstein’s theory of gravity, in terms of metrics on curved Lorentzian manifolds with horizons and singularities. Furthermore, we show how the entropy of certain black holes can be understood in terms of number theory and the Hardy-Ramanujan asymptotic formula for the number of partitions. For fun, you could watch the recent movie “The Man Who Knew Infinity”, about the life and work of Ramanujan.


Dr. Benno van den Berg

Homotopy type theory

Martin-Lof Type Theory is a system with many aspects: it is foundation for constructive mathematics, a functional programming language and the basis for many proof assistants (software package for rigorously verifying parts of mathematics). We will try to explain this system and the intuition behind it. I also plan to talk about a new topological (homotopy-theoretic) interpretation of this system and explain why this promises to solve some difficulties that one faces when one wants to work with type theory.