BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20250508T062024EDT-0646esOXHZ@132.216.98.100
DTSTAMP:20250508T102024Z
DESCRIPTION:Rigorously verified computing for infinite dimensional nonlinea
 r dynamics: a functional analytic approach.\n\nStudying and proving existe
 nce of solutions of nonlinear dynamical systems using standard analytic te
 chniques is a challenging problem. In particular\, this problem is even mo
 re challenging for partial differential equations\, variational problems o
 r functional delay equations which are naturally defined on infinite dimen
 sional function spaces. The goal of this talk is to present rigorous numer
 ical technique relying on functional analytic and topological tools to pro
 ve existence of steady states\, time periodic solutions\, traveling waves 
 and connecting orbits for the above mentioned dynamical systems. We will s
 pend some time identifying difficulties of the proposed approach as well a
 s time to identify future directions of research.\n
DTSTART:20161014T200000Z
DTEND:20161014T210000Z
LOCATION:Room 6254\, CA\, QC\, Montreal\, H3T 1J4\, Pavillon André-Aisensta
 dt\, 2920\, Chemin de la tour\, 5th floor
SUMMARY:Jean-Philippe Lessard\, Université Laval
URL:/mathstat/channels/event/jean-philippe-lessard-uni
 versite-laval-263288
END:VEVENT
END:VCALENDAR