Summary
Verification and Analysis theme mailing list. The list is for faculty only to discuss things like, hiring, advertise upcoming events to avoid clashes and strategy (e.g. CDT bids) discussions.
To contact the list owners, use the following email address: doc-analysis-verification-theme-owner@imperial.ac.uk
You have to sign in to visit the archives of this list.
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please sign in first. If you have not previously signed in, you may need to set up an account with the appropriate email address.