Menu

Scottish Theorem Proving Seminar

Co-organised by Alan Bundy and Francisco Quesada Real

Full details here:

http://dream.inf.ed.ac.uk/events/stp-2016/index.php