International Workshops on First-Order Theorem Proving (FTP) - until 2006

This page is obsolete. Please visit http://www.csc.liv.ac.uk/FTP-WS/.

Last modified: Wed Jan 11 14:03:53 EST 2006
ftp-ws-admin@mpi-sb.mpg.de