community.galois.com Mailing Lists

Welcome!

Below is a listing of all the public mailing lists on community.galois.com. 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 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]
haskell-infrastructure Haskell infrastructure discussions
haskell-verifier A tool for formally verifying Haskell programs in Isabelle/HOLCF
mailman Mailman administrative list
ppaml PPAML General Discussion
ppaml-birds PPAML Bird Migration CP Discussion
ppaml-copter PPAML Copter Discussion
ppaml-pis PPAML PI Discussions
ppaml-problems PPAML Challenge Problem
ppaml-sswg [no description available]
ppaml-summer14 PPAML Summer School 2014
ppaml-support [no description available]
ppaml-wami PPAML WAMI Discussion
proceed PROCEED
proceed-pi [no description available]
proceed-pi-and-darpa [no description available]
QRStream [no description available]
smaccmpilot Discussion of the SMACCMPilot project

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