The Department of Mathematics and Systems Analysis organizes regular colloquia on topics in mathematics and systems analysis for a non-specialist audience. Informal discussion continues after the colloquium in the common room.
Spring semester 2018
- January 30th, 15-16, hall D : Prof. Petteri Kaski (Aalto Univeristy) : "Proofs and computation" :
A highly desirable property for a mathematical proof is that its correctness is easier to verify than it is to prepare the proof from scratch. One possibility to quantify such "ease of verification" is to view the tasks of preparing and verifying a proof from a computational perspective and in terms of the computational resources employed for a task. Indeed, such proof-system-based characterizations are in many ways fundamental to our current understanding of computational complexity and complexity classes such as P, NP, and beyond. This talk explores classical and recent work on proof systems for computational problems, including some of our own recent work involving proof systems that tolerate adversarial errors during proof preparation.
Titles and abstracts of past colloquia
Fall semester 2017
- September 26th, 15-16, hall M1 : Prof. Daniele Boffi ( Università di Pavia, Aalto University ) : "Finite element approximation of resonant modes for the Maxwell cavity problem"
- October 31st, 15-16, hall U1 : Prof. Lothar Nannen (TU Wien) : "Numerical methods for resonance problems in open systems"
- November 28th, hall U1 : Prof. Kari Astala (Aalto University) : "Random tilings, variational problems and the Beltrami equation"
Spring semester 2017
- January 31st, 15-16, hall U1 : Jarkko Kari (University of Turku) : "An Algebraic Geometric Approach to Multidimensional Symbolic Dynamics"
- February 28th, 15-16, hall M1 : Eero Saksman (University of Helsinki) : "The Riemann zeta function meets Gaussian multiplicative chaos"
- March 28th, 15-16, hall M1 : Christian Haase (Freie Universität Berlin) : "Finiteness Theorems for Lattice Polytopes"
- April 25th, 15-16, hall M1 : Thomas Britz (UNSW Sydney) : "A Nice Proof of Wei's Duality Theorem"
- May 2nd, 15-16, hall M1 : David Rios Insua (ICMAT-CSIC and Royal Academy of Sciences, Spain) : "Adversarial Risk Analysis: Concepts, Applications and Challenges"
Fall semester 2016
Spring semester 2016
- January 26th, 15-16, hall M1:Prof. Davy Paindavei (Université Libre de Bruxelles) : Inference on the mode of weak directional signals: a Le Cam perspective on hypothesis testing near singularities
- February 23rd, 15-16, hall M1: Prof. Jeffery M. Keisler (Aalto University, University of Massachusetts Boston) : A decision analytic modification to deal with uncertain targets in project management
- March 31th, 15-16, hall M1 : Prof. René Scoof (Università di Roma “Tor Vergata”) : Lagrange's theorem for finite algebraic groups
- April 26th, 15-16, hall M1 : Prof. Giuseppe Mingione (Università di Parma) : Some regularity problems in the calculus of variations
Fall semester 2015
- September 29, 15-16, hall M1: Prof. Raimo P. Hämäläinen (Aalto University) : Behavioural operational research.
- October 27, 15-16, hall U1: Prof. David Radnell (Aalto University) : Some new developments in quasiconformal Teichmueller theory.
- November 24th, 15-16, hall U1: Ph.D Jukka Keränen (Aalto Univerisity) : Group Representations in Number Theory: An Introduction to the Langlands Program
Spring semester 2015
Page content by: webmaster-math [at] list [dot] aalto [dot] fi