community.galois.com mailing lists - Admin Links

Welcome!

Below is the collection of publicly-advertised Mailman mailing lists on community.galois.com. Click on a list name to visit the configuration pages for that list.To visit the administrators configuration page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended. If you have the proper authority, you can also create a new mailing list.

General list information can be found at the mailing list overview page.

(Send questions and comments to mailman@community.galois.com.)

   
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]
ivorytower Discussion of Ivory and Tower Languages
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