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.
Category Archives: talks
AMS Eastern Sectional Meeting at Hunter College (CUNY)
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:
Association for Symbolic Logic (ASL) North American Annual Meeting in Boise
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”
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”