|
News
Welcome SAT@home
The SAT@home project, from the Institute for Systems Analysis of Russian Academy of Sciences, solves hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to the Boolean satisfiability problem.
7 Feb 2012 | 18:40:20 UTC
· Comment
Citizen Cyberscience Summit, 16-18 February 2012
The Second London Citizen Cyberscience Summit, involving volunteer computing and other forms of citizen science, will be held 16-18 February 2012 in London.
3 Jan 2012 | 8:52:14 UTC
· Comment
IBM World Community Grid News
IBM World Community Grid recently celebrated its 7th birthday and announced the release of a new application to find treatments for malaria.
21 Nov 2011 | 5:00:39 UTC
· Comment
Welcome Mersenne@home
Mersenne@home is a new project, based in Poland, that searches for 'Mersenne primes' - prime numbers of the form 2p-1.
20 Nov 2011 | 17:10:10 UTC
· Comment
Unplanned server outage
The BOINC server (including web site and SVN repository) was offline from 31 Oct to 2 Nov. Things are back up now.
3 Nov 2011 | 3:33:21 UTC
· Comment
... more
News is available as an RSS feed
|