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 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.

\n \n 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.

\n \n \n
For more information, see\nhttp://www.mpi-inf.mpg.de/~sofronie/ftp09/.<
/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