FMCAD Mailing List
Purpose
The purpose of the FMCAD mailing list is to provide the FMCAD community with an
open mechanism to communicate on topics of interest. Anyone interested in such
topics is free to subscribe and participate. The communications we expect this
mailing list to be used for includes (but is not limited to) the following:
- broadcasting of information relating to upcoming FMCAD
conferences.
- questions and suggestions relating to upcoming and prior FMCAD
conferences, such as benchmark activities, focus topics, etc.
- technical questions and ideas relating to the topic of formal methods
in computer-aided design.
Using the Mailing List
The mailing list is hosted in a Listproc server. Note that the list is
email-based, that is, the system will respond to your commands with an email to
you. The listproc system provides a number of commands and configuration
settings. Please look at this FAQ
for information on how to effectively use the Listproc mailing list.
This page provides some easy utilities for
interacting with the mailing list. When you submit a request using these forms
the Listproc server will process the request and send you an email to the
address you provide. So please carefully check the email address you type for
any typographical errors. Your email address will not be shared with anyone
except the FMCAD list owners.
Subscribe/Unsubscribe
You can use this form to join the FMCAD mailing list. You must be subscribed
to the list in order to post to it.
Retrieving the List Archives
Any email sent to the FMCAD mailing list is automatically archived. This form
should help you retrieve those archived emails.
FMCAD Archive Search
The pattern you search for may be any regular expression. See pages 39-41 of
the Listproc user
manual for details.
Page created by Sandip Ray.
Please send questions and comments to
sandip@cs.utexas.edu. Thanks to Michael Bogomolny for permitting
us to use some of his scripts.