[RUME] Proof-presentation working group

[Fukawa-Connelly, Timothy]

All,

We are excited to host a working group on proof presentation, to take place Thursday, February 25, 2009, at the RUME 2010 site.   If you are a mathematician or researcher interested in this, please visit our website

http://www-personal.umich.edu/~yxl/RUME2010/

or
http://euclid.unh.edu/~tim.fc/Proof/

for more information, including how to participate!

If you have any questions, please contact Yvonne Lai (yxl at umich.edu)
or Tim Fukawa-Connelly (tim.fc at unh.edu).

We hope to see you there.
Sincerely,
Tim Fukawa-Connelly and Yvonne Lai
Organizers for the Working Group on Proof Presentation


Also, this is probably our last announcement...  We really don't want you to hate us.