Maude Mailing Lists
From The Maude System
Revision as of 01:10, 22 July 2014 by Kquine
We maintain the following mailing lists relating to Maude.
- maude-users @ cs.uiuc.edu
- A moderated list for the discussion of topics of general interest to all Maude users. This list is typically low-traffic, and contains items such as calls for papers, announcements of new Maude related papers, and notifications of new releases of Maude.
- It is important that you subscribe to this list if using Maude, as this is the mechanism by which we will make important announcements about the system.
- To subscribe, or to view the archived messages, please go to http://lists.cs.uiuc.edu/mailman/listinfo/maude-users.
- maude-help @ cs.uiuc.edu
- Help list for questions about using Maude.
- To subscribe, or to view the message archive, please go to http://lists.cs.uiuc.edu/mailman/listinfo/maude-help. In order to be able to send messages to this list, you must subscribe to it with the same email address you plan to send messages from.