Discussion on Tools for Automated Termination Analysis
To contact the list owners, use the following email address: firstname.lastname@example.org
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please log in first. If you have not previously logged in, you may need to set up an account with the appropriate email address. By submitting this form, you agree to the storage of your data for the purpose of delivering the e-mails from the mailing list in accordance with Article 6 paragraph 1 lit. a of the General Data Protection Regulation (GDPR).
You can also subscribe without creating an account. If you wish to do so, please use the form below.