BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20250707T180815EDT-8010vwkRpS@132.216.98.100
DTSTAMP:20250707T220815Z
DESCRIPTION:The main goal of the CRM CAMP project is to bring together the 
 worldwide community of researchers in the area of computer-assisted method
 s of proof\, especially those working in the areas of dynamical systems th
 eory and nonlinear analysis. This community has enjoyed dramatic growth ov
 er the last three decades\, and has developed methods to resolve a number 
 of important unsolved problems in mathematics. Yet participating researche
 rs are scattered around the globe\, and there is a growing need for a regu
 lar forum for discussion and dissemination of results. This is especially 
 important in current time of unprecedented travel interruption.\n\n \n\n 
 \n\nScientific coordinators\n\nJean-Philippe Lessard (9IÖÆ×÷³§Ãâ·Ñ\, 
 Canada)\n\nJason D. Mireles James (Florida Atlantic University\, USA)\n\nJ
 an Bouwe van den Berg (VU Amsterdam\, Netherlands)\n\n \n\nfor zoom meetin
 g please visit http://crm.math.ca/camp-nonlinear/#cam\n
DTSTART:20210601T140000Z
DTEND:20210601T150000Z
SUMMARY:CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Ea
 rly Days
URL:/mathstat/channels/event/crm-camp-colloquium-encou
 nters-computer-assisted-proofs-early-days-331276
END:VEVENT
END:VCALENDAR