• sal@csl.sri.com : SAL mailing list, it is intended for general discussions involving SAL, as well as announcements of new tools, language changes, etc. Subscribe by sending a message with 'subscribe' in the body to sal-request@csl.sri.com. You can also access the mail archive for earlier messages.
• sal-announce@csl.sri.com : Used only for announcing new versions, critical bugs. Subscribe by sending a message with 'subscribe' in the body to sal-announce-request@csl.sri.com.
• sal-devel@csl.sri.com: SAL developer mailing list, it is intended for discussions involving SAL development. Subscribe by sending a message with 'subscribe' in the body to sal-devel-request@csl.sri.com.
• sal-help@csl.sri.com: Used to request help from a community of SAL volunteers. To volunteer, send a message with 'subscribe' in the body to sal-help-request@csl.sri.com.

The four lists above are all moderated at SRI.

• sal-bugs@csl.sri.com : Bug report list (you can also send suggestions here). Bug reports will be reviewed, and submitted to the SAL Bugs List
• sal-sri@csl.sri.com : This is how to reach the SRI team for general questions about SAL.