BEGIN:VCALENDAR VERSION:2.0 PRODID:-//CERN//INDICO//EN BEGIN:VEVENT SUMMARY:Geometry of Polynomial System Solving\, Optimization and Topology DTSTART:20231009T070000Z DTEND:20231024T160000Z DTSTAMP:20260423T111200Z UID:indico-event-8114@indico.math.cnrs.fr CONTACT:RTCA2023-Paris@ihp.fr DESCRIPTION:Workshop with special week and topical daySpecial weekOctober 9 to 13\, 2023Polynomials Systems and Real Geometry by I. Emiris and D. Pl aumann (long course). Tuesday 2pm-5:30pm\, Wednesday 10am-12pm\, Thursday 10am-12pm and 2pm-5:30pm.Moment Method in Optimization by D. Henrion (sho rt course). Monday 10am-12pm\, Tuesday 10am-12pm.General audience present ation by B. Sturmfels. Wednesday 4pm.Workshop: Geometry of Polynomial Sys tem Solving\, Optimization and TopologyOctober 16 to 20\, 2023Organisers: C. D’Andrea\, P. Lairez\, M. Safey El Din\, É. Schost\, L. ZhiPolynomia l systems encode a wide range of non-linear (but static) phenomena which a rise in many applications. Non-linearity makes them non-trivial to handle\ , both from complexity and reliability viewpoints. Still\, because of thei r importance for key applications e.g. in mechanism design and optimizatio n amongst many others\, various algorithmic approaches have been developed . During the last decades\, tremendous achievements have been accomplished to design faster algorithms for polynomial system solving\, extend their capabilities to tackle topological issues and understand their complexitie s. For instance\, let us mention new families of algorithms to exploit alg ebraic and geometric properties of polynomial systems and their solution s ets such as sparsity or weighted and multi-homogeneity\, algorithms for un derstanding the topology of semi-algebraic sets (Betti numbers\, connectiv ity queries)\, the raise of sums-of-squares certificates to certify emptin ess over the reals of polynomial systems through symbolic-numeric approach es\, and last but not least\, the stellar solution to 17th Smale problem b y Lairez following previous works from Beltrán\, Cucker and Pardo.Many ch allenges remain to be addressed to pave the way towards high performance p olynomial system solvers tackling large scale applications. Topical issues lie in the combination of efficiency and certification\, computing exact certificates of emptiness\, understanding the geometry of polynomial syste ms and their solution sets to exploit better their properties algorithmica lly. This workshop will cover broadly all these topics.Invited speakersChr istian Eder (Kaiserslautern\, Germany) Recent advances in Gröbner basis a lgorithms and geometric applicationsElisenda Feliu (Copenhagen\, Denmark) Positive solutions to polynomial systems and applications to reaction netw orksJon Hauenstein (Notre Dame\, USA) Some advances in numerical algebraic geometry for computing real solutionsMartin Helmer (Raleigh\, USA) Conorm al Spaces and Whitney StratificationsTeresa Krick (Buenos Aires\, Argentin a) Title to be announcedMonique Laurent (Centrum Wiskunde & Informatica (C WI) Amsterdam\, and Tilburg University\, The Netherlands) Sums of squares approximations in polynomial optimization: performance analysis and degree boundsAnton Leykin (Atlanta\, USA) Title to be announcedZijia Li (Beijing \, China) Title to be announcedFatemeh Mohammadi (Leuven\, Belgium) Polyno mial systems arising in the formal verification of programsMarc Moreno Maz a (London\, Canada) Title to be announcedChenqi Mou (Beijing\, China) Chor dal Graphs in Triangular Decomposition in Top-Down StyleBernard Mourrain ( Inria\, Sophia-Antipolis) Solving by dualityCordian Riener (Tromso\, Norwa y) Title to be announcedAna Romero (La Roja\, Spain) Title to be announced Pierre-Jean Spaenlehauer (Nancy\, France) Dimension results for sparse sys tems homogenized via rational polytopesTopical day: Mechanism Design and C omputer Algebra October 24\, 2023Organizer: J. Schicho Speakers: Maria A lberich-Carraminana\, Didier Henrion\, Johanna Frischauf Hans-Peter Schrö cker\, Josef Schicho\n\nhttps://indico.math.cnrs.fr/event/8114/ IMAGE;VALUE=URI:https://indico.math.cnrs.fr/event/8114/logo-1854993632.png LOCATION:Amphithéâtre Hermite / Darboux (Institut Henri Poincaré) URL:https://indico.math.cnrs.fr/event/8114/ END:VEVENT END:VCALENDAR