Wormshop 2024

Speaker

Grigorii Stepanov

Vienna University of Technology

Talks at this conference:

 Wed, 11:15 Strong completeness below $\sf{GLP}$
Contributed Talks

 Overview