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/2009/newsitem/2843/6-7
 -July-2009-FTP-2009---International-Workshop-on-Fi
 rst-Order-Theorem-Proving-Oslo-Norway
DTSTAMP:20090419T000000
SUMMARY:FTP 2009 - International Workshop on First
 -Order Theorem Proving, Oslo, Norway
DTSTART;VALUE=DATE:20090706
DTEND;VALUE=DATE:20090707
LOCATION:Oslo, Norway
DESCRIPTION:FTP 2009 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
 .    The workshop welcomes original contributions 
 on theorem proving in first-order classical, many-
 valued, modal and description logics, including (b
 ut not restricted to): resolution, tableau methods
 , equational reasoning, term-rewriting, model cons
 truction, constraint reasoning, unification, descr
 iption logics, propositional logic, specialized de
 cision procedures; strategies and complexity of th
 eorem proving procedures; implementation technique
 s and applications of first-order theorem provers 
 to verification, artificial intelligence, mathemat
 ics and education.  For more information, see http
 ://www.mpi-inf.mpg.de/~sofronie/ftp09/.
X-ALT-DESC;FMTTYPE=text/html:\n        <p> FTP 200
 9 is the seventh in a series of workshops\n       
  intended to focus effort on First-Order Theorem P
 roving as a core theme\n        of Automated Deduc
 tion, and to provide a forum for presentation of\n
         recent work and discussion of research in 
 progress. </p>\n        \n        <p> The workshop
  welcomes original\n        contributions on theor
 em proving in first-order classical, many-valued,\
 n        modal and description logics, including (
 but not restricted to):\n        resolution, table
 au methods, equational reasoning, term-rewriting,\
 n        model construction, constraint reasoning,
  unification, description\n        logics, proposi
 tional logic, specialized decision procedures;\n  
       strategies and complexity of theorem proving
  procedures; implementation\n        techniques an
 d applications of first-order theorem provers to\n
         verification, artificial intelligence, mat
 hematics and education.</p>\n        \n    \n     
    <p>For more information, see\n<a target="_blank
 " href="http://www.mpi-inf.mpg.de/~sofronie/ftp09/
 ">http://www.mpi-inf.mpg.de/~sofronie/ftp09/</a>.<
 /p>        \n    
URL:/NewsandEvents/Archives/2009/newsitem/2843/6-7
 -July-2009-FTP-2009---International-Workshop-on-Fi
 rst-Order-Theorem-Proving-Oslo-Norway
END:VEVENT
END:VCALENDAR