BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2005/newsitem/922/14-1 7-September-2005-International-Workshop-on-First-O rder-Theorem-Proving-FTP-2005-Koblenz-Germany DTSTAMP:20050428T000000 SUMMARY:\n International Workshop on First-Or der Theorem Proving (FTP 2005)\n , Koblenz, Ger many DTSTART;VALUE=DATE:20050914 DTEND;VALUE=DATE:20050917 LOCATION:Koblenz, Germany DESCRIPTION: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 Dedu ction, and to provide a forum for presentation of recent work and discussion of research in progress . It is co-located with the TABLEAUX 2005 conferen ce. For more information, see http://ftp2005.uni -koblenz.de/. Deadline for submissions: 27 May 2005. X-ALT-DESC;FMTTYPE=text/html:
FTP'2 005 is the seventh in a series of workshops intend ed to\n focus effort on First-Order Theorem P roving as a core theme of\n Automated Deducti on, and to provide a forum for presentation of\n recent work and discussion of research in prog ress. It is\n co-located with the TABLEAUX 20 05 conference.
\n \n\n \n For more information, see\n http://ftp2005.uni-koble nz.de/.\n