Maude Mailing Lists

From The Maude System
Revision as of 01:10, 22 July 2014 by Kquine (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

We maintain the following mailing lists relating to Maude.

  • maude-users @
    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