If you happen to be in or near Vienna, there’s a little workshop at the TU Wien, Monday to Wednesday of next week, sponsored by the Gödel Society. It’s on cut-elimination; speakers include Lev Beklemishev, Ale Carbone, Grigori Mints, Pavel Pudlák, and Helmut Schwichtenberg as well as a bunch of up-and-coming young logicians like Arnold Beckmann, Agata Ciabattoni, Rosalie Iemhoff, Georg Moser and George Metcalfe. (Ok, that’s almost the entire program, so I’ll mention also Christian Urban and Clemens Richter, who I don’t know yet. But I’m sure their talks will be top-notch as well.)