5月26日，Nick Bezhanishvili做了题为《Stable Canonical Formulas and Rules and Their Applications》的报告。