Monday, 1 Feb 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

A short overview of algebraic and semialgebraic proof complexity (PDF)
Albert Atserias, Universitat Politécnica de Catalunya, Spain

11:00am - 11:30am

--- Group Photo & Coffee Break ---

11:30am - 12:30pm

Tight size-degree bounds for sums-of-squares proofs (PDF)
Massimo Lauria, Universitat Politécnica de Catalunya, Spain

12.30pm - 02:30pm

--- Lunch Break ---

02:30pm - 03:30pm

Symmetrizing sum of squares polynomials on the hypercube (PDF)
Anupam Prakash, Nanyang Technological University

03:30pm - 04:00pm

--- Coffee Break ---

04:00pm - 05:00pm

PSD-minimal polytopes
Rekha Thomas, University of Washington, USA

Tuesday, 2 Feb 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

Lower bounds on the size of semidefinite programming relaxations I
James R. Lee, University of Washington, USA

11:00am - 11:30am

--- Coffee Break ---

11:30am - 12:30pm

New results on the exactness of Lasserre relaxations for compact basic closed semialgebraic sets (PDF)
Markus Schweighofer, University of Konstanz, Germany

12.30pm - 02:30pm

--- Lunch Reception at IMS ---

02:30pm - 03:30pm

Strong reductions for extended formulations (PDF)
Aurko Roy, Georgia Institute of Technology, USA

03:30pm - 04:00pm

--- Coffee Break ---

04:00pm - 05:00pm

Open Problem Session

Wednesday, 3 Feb 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

Lower bounds on the size of semidefinite programming relaxations II
James R. Lee, University of Washington, USA

11:00am - 11:30am

--- Coffee Break ---

11:30am - 12:30pm

Lieb's concavity theorem, matrix geometric means, and semidefinite optimization (PDF)
James Saunderson, University of Washington, USA

12.30pm - 02:30pm

--- Lunch Break ---

02:30pm - 05:00pm

Free Discussion

Thursday, 4 Feb 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

Lower bounds on the size of semidefinite programming relaxations III
James R. Lee, University of Washington, USA

11:00am - 11:30am

--- Coffee Break ---

11:30am - 12:30pm

A generalized method for proving polynomial calculus degree lower bounds (PDF)
Jakob Nordström, KTH Royal Institute of Technology, Sweden

12.30pm - 02:30pm

--- Lunch Break ---

02:30pm - 03:30pm

Completely positive semidefinite rank
Antonios Varvitsiotis, National University of Singapore

03:30pm - 04:00pm

--- Coffee Break ---

04:00pm - 05:00pm

On the minimum dimension of a Hilbert space needed to generate a quantum correlation (PDF)
Zhaohui Wei, National University of Singapore

Friday, 5 Feb 2016

09:45am - 10:00am

Registration

10:00am - 11:00am

Lower bounds on the size of semidefinite programming relaxations IV
James R. Lee, University of Washington, USA

11:00am - 11:30am

--- Coffee Break ---

11:30am - 12:00nn

A lower degree bound for the real Nullstellensatz and pseudo-densities with minimal norm (PDF)
Sebastian Gruler, University of Konstanz, Germany

12:00nn - 12:30pm

A classification of the joint numerical range of three hermitian 3-by-3 matrices (PDF)
Stephan Weis, Universidade Estadual de Campinas (Unicamp), Brazil

12.30pm - 02:30pm

--- Lunch Break ---

02:30pm - 03:30pm

Approximate sum-of-squares degree

Troy Lee, Nanyang Technological University and National University of Singapore

03:30pm - 04:00pm

--- Coffee Break ---

04:00pm - 05:00pm

Free Discussion