News and Events: Upcoming Events

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.