Swansea University
Computer Science

Next meeting:



The seminar is now over

Robert Recorde Room

Seminar Series on Foundations of Theorem Proving

Literature

Time Plan

Supplemenary reading

E-mail page maintainer (Paolo Torrini)