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.

The Second London Citizen Cyberscience Summit, involving volunteer computing and other forms of citizen science, will be held 16-18 February 2012 in London.

IBM World Community Grid recently celebrated its 7th birthday and announced the release of a new application to find treatments for malaria.

Mersenne@home is a new project, based in Poland, that searches for 'Mersenne primes' - prime numbers of the form 2p-1.

The BOINC server (including web site and SVN repository) was offline from 31 Oct to 2 Nov. Things are back up now.