The Formal Methods research group re-launches its seminar online in June. We have two guest talks given by Branden Fitelson and by Matt Mandelkern, organized with the London Group for Formal Philosophy.

June 11th Workshop with Branden Fitelson Probabilities of conditionals and conditional probabilities – revisted.
Organized with LGFP. Via Zoom, subscribe to the LGFP list to get the link.

June 25th Matt Mandelkern (joint work with Kevin Dorst) Good Guesses. 
Organized with LGFP. Via Zoom, subscribe to the LGFP list to get the link.