Hawks; theorem provers

[anhinga_anhinga]

A red-tailed hawk attacks a girl at Fenway Park
Photos:
http://www.boston.com/news/local/gallery/040308_hawkattack/
Story:
http://www.boston.com/news/local/breaking_news/2008/04/hawk_nest_remov.html


8th International Workshop On User Interfaces for Theorem Provers
Friday, 22nd August 2008, Montréal, Québec, Canada
Call for papers:
http://www.ags.uni-sb.de/~omega/workshops/UITP08/
The program from UITP 2005:
http://homepages.inf.ed.ac.uk/da/uitp05/