However, in recent years several new developments with computer assisted approaches have led to previously unexpected breakthrough results. These involve massive computer searches and techniques from numerical optimization, as well as the creation and application of new optimization techniques, such as specific semi-definite programming bounds. New techniques for computer assisted certified proofs allow one to obtain results that would otherwise have been difficult, if not impossible, to check.
During this workshop, we will bring together energy, packing and covering experts from these new computation-based research directions.