Date: Mon, 15 Sep 2003 13:52:30 -0500 (CDT) From: "Jared C. Davis" Subject: Wednesday, Sep 17 Talk Hello, I will be talking this Wednesday at the ACL2 meeting about a new project I am hoping to explore. The project involves formal verification of program transformations. I am not far into the project, and am looking forward to your feedback. I will briefly introduce the particular transformation system I am looking at, and show you some simple transforms one might write in it, and talk about its broader applications and some of the work that I have done using it. I will then talk about how I plan to formalize the major components of the system, and show you the code I have developed so far. I will also show you some of the particular problems I have encountered. Time permitting, I would like to conclude with a broad discussion of where this might lead, and some of the more "major" unanswered questions I have about the limits of the system. Hope to see you there, Jared