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:<div>\n      <p>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.</p>\n    \n      <p>\n \n For more 
 information, see\n <a target="_blank" href="http:/
 /ftp2005.uni-koblenz.de/">http://ftp2005.uni-koble
 nz.de/</a>.\n      </p>\n    </div><div>\n   Deadl
 ine for submissions: 27 May 2005.\n </div>
URL:/NewsandEvents/Archives/2005/newsitem/922/14-1
 7-September-2005-International-Workshop-on-First-O
 rder-Theorem-Proving-FTP-2005-Koblenz-Germany
END:VEVENT
END:VCALENDAR