Mailing Lists


Below is a listing of all the public mailing lists on Click on a list name to get more information about the list, or to subscribe, unsubscribe, and change the preferences on your subscription. To visit the general information page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended.

List administrators, you can visit the list admin overview page to find the management interface for your list.

If you are having trouble using the lists, please contact

List Description
cryptol-users Cryptol User Community Communication List
grid-2 Communication about Galois' Grid 2.0 Phase II SBIR
Halvm-devel [no description available]
mailman Mailman administrative list
ppaml PPAML General Discussion
ppaml-birds PPAML Bird Migration CP Discussion
ppaml-copter PPAML Copter Discussion
PPAML-NLP [no description available]
ppaml-pis PPAML PI Discussions
ppaml-problems PPAML Challenge Problem
ppaml-sswg [no description available]
ppaml-summer14 PPAML Summer School 2015
Ppaml-summer16 PPAML Summer School 2016
ppaml-support [no description available]
ppaml-wami PPAML WAMI Discussion
proceed PROCEED
proceed-pi [no description available]
proceed-pi-and-darpa [no description available]
smaccmpilot Discussion of the SMACCMPilot project
Testlist [no description available]

Delivered by Mailman
version 2.1.9
Python Powered GNU's Not Unix