International Workshop on 4-Manifold Theory and Gauge Theory