Efficient congruencing: inductive application of linearity in Henselian fields Date: 2021-05-31 Time: 15:00 - 16:00 Speaker Wooley