Using AI to aid automation of proof search in Formal Methods


Mailing list

AI4FM project e-mail list is available at JISC: 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 »