Please note that this newsitem has been archived, and may contain outdated information or links.
14-17 September 2005,
International Workshop on First-Order Theorem Proving (FTP 2005)
, Koblenz, Germany
Date: 14-17 September 2005
Location: Koblenz, Germany
Deadline: 27 May 2005
FTP'2005 is the seventh in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. It is co-located with the TABLEAUX 2005 conference.
For more information, see http://ftp2005.uni-koblenz.de/.
Deadline for submissions: 27 May 2005.
Please note that this newsitem has been archived, and may contain outdated information or links.