HK   Friday July 12 - 13:45

Plenary Talk 10



13:45 - 14:45 - Jan Bouwe Van den Berg - Computer-assisted theorems in dynamics [Abstract]