A central question in theoretical computer science concerns computational phase transitions, where the transition separates parameters for which efficient algorithms do (or do not) exist. This terminology, inspired by notions of phase transitions in statistical physics, is no coincidence: in some instances there are precise links between these two different notions of transition.
Mathematical physicists have developed several tools, including the cluster expansion, to prove the absence of a phase transition. Recently, these ideas have been used extensively for the development of algorithms, i.e., to verify the absence of a computational phase transition. Conversely, computer science techniques have lead to improvements in bounds in long-standing problems in statistical mechanics. This mini-workshop aims to bring these two communities into closer contact, to exchange ideas and problems, and to spur further progress.