Summer 2018

Summer 2018 was a busy time filled with interesting meetings and projects. I enjoyed helping celebrate Tom Hales’ 60th birthday at a meeting dedicated to Tom’s many contributions in representation theory, discrete geometry, and formalized mathematics (conference website). Many attendees work with interactive theorem provers like Coq and Isabelle and I had good conversations regardingContinue reading “Summer 2018”

Association for Symbolic Logic (ASL) North American Annual Meeting in Boise

Spring was evident at the ASL meeting in Boise, ID last week ( The beautiful Boise River was more than full as it rushed through the Boise State University campus where the conference was held. Thanks to the organizers for the valuable meeting and special sessions. I enjoyed my opportunity to speak in the contributedContinue reading “Association for Symbolic Logic (ASL) North American Annual Meeting in Boise”

Upcoming…Ohio State University Logic Seminar March 7th

I’ll be speaking in the Ohio State University Logic Seminar on Tuesday, March 7th. Here are the details: Title: Mining effective information from nonconstructive proofs in differential algebra Abstract: Ultraproducts and other nonconstructive tools often yield existence results without giving explicit values. We examine the interplay of such arguments with “proof mining” techniques that systematicallyContinue reading “Upcoming…Ohio State University Logic Seminar March 7th”