|To add/remove yourself from any of these mailing lists,
send email to the contact person for the particular list.
Dynamic Coalitions list (The entire project)
Jini and Trust Management list (Send,
Contact: Petros Maniatis
Formal Methods List
Contact: Satyaki Das
Send -- Send email to the entire list.
Subscribe -- Send email to the contact person
requesting a subscribe
Unsubscribe -- Remove yourself from a mailing