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”
Thanks so much to Thomas Hales and the other members of the Algebra, Combinatorics, and Geometry (ACOG) Seminar at the University of Pittsburgh. I enjoyed presenting there and interacting with everyone on Nov. 9, 2017.
The AMS held a great meeting at Hunter College in NYC on May 6-7. I’m grateful to Omar León Sánchez and Alexander Levin for organizing the Special Session on Differential and Difference Algebra and extending an invitation for me to speak. Here is the view from the reception balcony at Hunter:
Spring was evident at the ASL meeting in Boise, ID last week (http://asl2017.boisestate.edu/). 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”
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”