JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for AI4FM-INFO Home Page


AI4FM-INFO Home Page

AI4FM-INFO Home Page


AI4FM-INFO@JISCMAIL.AC.UK

LISTSERV Archives

LISTSERV Archives

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Help & Support

Archive privacy settings

  • Email messages may be archived on this page. This list is configured with archives.

AI4FM-INFO

Information on the AI4FM project

Hide Latest Messages

AI4FM is a project aimed at using AI techniques to learn from human users how to discharge Proof Obligations that arise in typical formal method applications. This list will keep people informed of progress.


JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Loading

IMPORTANT NOTICE TO READERS OF JISCMAIL ARCHIVES

If you use public JiscMail list archives this news may affect you. JiscMail policy regarding archived lists has changed, and archived lists with no current owner will be permanently deleted from JiscMail on 30th April 2018..

Please note, this notice has been posted to all JiscMail list homepages

Lists issued with a deletion notice will display a message in the list archive, dated Feb 2018, with the subject "Jiscmail service message: List deletion notice...".

If you have any questions about list deletion notices, please contact our support team JiscMail helpline



JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager