AI4FM

Using AI to aid automation of proof search in Formal Methods

People

Mailing list

AI4FM project e-mail list is available at JISC: ai4fm-info@jiscmail.ac.uk. The mailing list distributes project-related public information.

Currently it is not possible to join it automatically. To join the mailing list, please e-mail Gudmund Grov or Cliff Jones.

The message archive is available online at JISC. View the mailing list archive »