The CPAchecker Project uses the following mailing lists:

- CPAchecker-Announce@sosy-lab.org
  Announcements about the CPAchecker project.
  Read-only, anyone can join, low traffic volume.
  Replies go to CPAchecker-Users@sosy-lab.org
  https://groups.google.com/a/sosy-lab.org/group/cpachecker-announce

- CPAchecker-Users@sosy-lab.org
  User discussion, questions, solutions to common problems.
  Anyone can post, anyone can join.
  https://groups.google.com/a/sosy-lab.org/group/cpachecker-users

- CPAchecker-Commits@sosy-lab.org
  Archive of commit messages from the CPAchecker repository.
  Read-only, by invitation only, high volume.
  Replies go to CPAchecker-Dev@sosy-lab.org
  https://groups.google.com/a/sosy-lab.org/group/cpachecker-commits

- CPAchecker-Dev@sosy-lab.org
  Internal developer discussion about the design and implementation of CPAchecker.
  Only for active developers (>0 cpm), members can post, by invitation only.
  https://groups.google.com/a/sosy-lab.org/group/cpachecker-dev

For group subscription and web access: visit http://groups.sosy-lab.org
  and click on "Browse all groups". 
  Choose the group you want to visit or subscribe.
  In order to sign in to one of the sosy-lab groups,
  use the non-bold link "Sign in for Google Groups".
  It might ask you for a Sosy-Lab account -- if you don't have one,
  click on "Enter your email address to access ...".
  This does not necessarily need to be a Google email account.

For project information: visit http://cpachecker.sosy-lab.org 

dbeyer 2010-02-02