DynAMiCs workshop
The DynAMiCs workshop “Algebraic Methods in Dynamics and Particle Physics ”, organized by the Max Planck Institute for Software Systems (MPI-SWS) with support from the Max Planck Center for Particle Physics, Cosmology and Geometry and the Max Planck Center for Mathematics in the Sciences, brings together leading researchers in dynamics, algebra, and particle physics to explore themes at their intersection. Focus areas include the development of mathematical languages for describing physical phenomena across scales, as well as the algebraic and algorithmic foundations of discrete and continuous dynamical systems.
Prof. Laura Kovács delivered the lecture “Algebraic Methods in Dynamics and Particle Physics”.
Abstract: Despite the substantial progress in the computer-aided verification of computer systems, ensuring the correctness of programs implementing algebraic operations is still an open problem. This problem remains unsolved even when we restrict consideration to loops that are non-nested, without exit conditions, and/or only use limited (polynomial) arithmetic.Such programs naturally arise in compiler optimization, cryptography, cybersecurity, control theory, and probabilistic reasoning. This talk will present classes of computer systems for which we automatically can solve the challenge of proving programs error-free. Key to our setting is the combination of algebraic techniques with static code analysis, allowing us to even turn some unsolvable verification challenges into solvable ones.