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/2006/newsitem/1450/12-
 November-2006-The-6th-International-Workshop-on-th
 e-Implementation-of-Logics-IWIL-6-Phnom-Penh-Cambo
 dia
DTSTAMP:20060803T000000
SUMMARY:The 6th International Workshop on the Impl
 ementation of Logics (IWIL-6), Phnom Penh, Cambodi
 a
DTSTART;VALUE=DATE:20061112
DTEND;VALUE=DATE:20061112
LOCATION:Phnom Penh, Cambodia
DESCRIPTION:The 6th International Workshop on the 
 Implementation of Logics (IWIL-6) will be held 12t
 h November 2006, as part of LPAR-13 in Phnom Penh,
  Cambodia. The IWIL workshop series brings togethe
 r developers and users of systems that implement r
 easoning in logic, to share information about succ
 essful implementation techniques for automated rea
 soning systems and similar programs.   For more in
 formation, see http://www.cs.miami.edu/~geoff/Conf
 erences/IWIL-6/   Submission of papers for present
 ation at IWIL-6 is now invited. Systems of all typ
 es (automated, interactive, etc), and for all logi
 cs (classical, non-classical, all orders, etc) are
  of interest to the workshop. Contributions that h
 elp the community to understand how to build usefu
 l and powerful reasoning systems in practice are o
 f particular interest. Submission deadline is 4 Se
 ptember 2006.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The 6
 th International Workshop on the Implementation of
  Logics (IWIL-6) will\nbe held 12th November 2006,
  as part of LPAR-13 in\nPhnom Penh, Cambodia. The 
 IWIL workshop series brings together developers an
 d\nusers of systems that implement reasoning in lo
 gic, to share information about\nsuccessful implem
 entation techniques for automated reasoning system
 s and\nsimilar programs. \n      </p>\n    \n     
  \n      <p>For more information, see\n        <a 
 target="_blank" href="http://www.cs.miami.edu/~geo
 ff/Conferences/IWIL-6/">http://www.cs.miami.edu/~g
 eoff/Conferences/IWIL-6/</a>\n      </p>\n    </di
 v><div>\n      <p>\nSubmission of papers for prese
 ntation at IWIL-6 is now invited.\nSystems of all 
 types (automated, interactive, etc), and for\nall 
 logics (classical, non-classical, all orders, etc)
  are of interest to the\nworkshop.\nContributions 
 that help the community to understand how to build
 \nuseful and powerful reasoning systems in practic
 e are of particular interest.\n        Submission 
 deadline is 4 September 2006.\n      </p>\n      <
 /div>
URL:/NewsandEvents/Archives/2006/newsitem/1450/12-
 November-2006-The-6th-International-Workshop-on-th
 e-Implementation-of-Logics-IWIL-6-Phnom-Penh-Cambo
 dia
END:VEVENT
END:VCALENDAR