EURO 2024 Copenhagen
Abstract Submission

• Home
• Abstract submission
• Search abstract
• Topic keywords
• Streams
• F.A.Q.
• Program
• Help

Session WC-32: Computer-Assisted Proofs in Optimization in stream Advances in large scale nonlinear optimization

Wednesday, 12:30-14:00
Room: 41 (building: 303A)

Session chair(s):

Eduard Gorbunov (eduard.gorbunov@mbzuai.ac.ae)

The following abstracts have been submitted in this session:

		2815. Constructive approaches to the analysis and construction of optimization algorithms	Adrien Taylor [R] - France	accepted
		2020. Automated tight Lyapunov analysis for first-order methods	Manu Upadhyaya [R] - Sweden	accepted
			Sebastian Banert [] - Sweden
			Adrien Taylor [R] - France
			Pontus Giselsson [] - Sweden
		1439. Counter-examples in first-order optimization: a constructive approach	Aymeric Dieuleveut [R] - France	accepted
			Adrien Taylor [R] - France
			Baptiste Goujaud [] - France
		2822. Provable non-accelerations of the heavy-ball method	Baptiste Goujaud [R] - France	accepted
			Adrien Taylor [R] - France
			Aymeric Dieuleveut [] - France