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


Jisc Services

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


WWW.JISCMAIL.AC.UK

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