Dear list members, A few days ago I got the email copied below. And I don't very well know what to say to it. Does anyone here have a good answer to Arnold's query?
(I'm cross-posting this to a couple of mailing lists. So my excuses for the duplication, but I'm really curious whether there is anything interesting to say to this question.) Freek ---------------------------------------------------------------- Message-ID: <[email protected]> Date: Tue, 20 Jan 2009 14:12:20 +0100 From: Arnold Neumaier <[email protected]> To: Freek Wiedijk <[email protected]> Subject: The QED Project Freek, are there still activities related to the QED Project http://www-unix.mcs.anl.gov/qed/ I am contemplating writing a grant application for something going in a similar direction, and would like to know about which people to contact for possible collaboration. What is your current assessment of what it takes to realize an updated version of the QED project? Best wishes, Arnold http://www.mat.univie.ac.at/~neum/ ---------------------------------------------------------------- ------------------------------------------------------------------------------ This SF.net email is sponsored by: SourcForge Community SourceForge wants to tell your story. http://p.sf.net/sfu/sf-spreadtheword _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
