BEGIN:VCALENDAR VERSION:2.0 PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4// BEGIN:VEVENT UID:20250703T060507EDT-09443Ho1gJ@132.216.98.100 DTSTAMP:20250703T100507Z DESCRIPTION:Seminar CRM CAMP In Nonlinear Analysis\n En ligne / Web. Pour s' inscrire\, veuillez visiter / For registration\, please visit: http://crm. math.ca/camp-nonlineaire/Tit\n\nTitle: CRM-CAMP COLLOQUIUM: Wherefore comp uter assisted proofs in dynamics?\n\nAbstract:Over the past few decades th e topic of computer assisted proofs in nonlinear dynamics has blossomed an d is well on the way to becoming a standard part of the field. So perhaps it is worth reflecting on some high level topics. With this in mind I will discuss\, from an admittedly biased personal perspective\, several questi ons:\n Why do computer assisted proofs?\n Where do computer assisted proofs in dynamics as currently being done lie in the bigger scheme of formal pro of systems? What new perspective about nonlinear dynamics can we extract f rom computer assisted proofs?\n How should we resolve the dichotomy between precision and accuracy?\n What role do computer assisted proofs have to pl ay as we move into an era of data driven science and machine learning?\n\n Web site : http://crm.umontreal.ca/camp-nonlinear/\n DTSTART:20210216T150000Z DTEND:20210216T160000Z SUMMARY:Konstantin Mischaikow (Rutgers University) URL:/mathstat/channels/event/konstantin-mischaikow-rut gers-university-328381 END:VEVENT END:VCALENDAR