Activity: Visiting an external organisation types › Visiting an external academic institution
Description of Activity
Invited visit to the Warwick Mathematics Institute, University of Warwick, to discuss computational techniques underpinning computer-assisted proofs for universality in dynamical systems.