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/2003/newsitem/462/27-S
 eptember-2003-4th-International-Workshop-on-the-Im
 plementation-of-Logics
DTSTAMP:20030710T000000
SUMMARY:4th International Workshop on the Implemen
 tation of Logics
DTSTART;VALUE=DATE:20030927
DTEND;VALUE=DATE:20030927
LOCATION:Almaty, Kazakhstan
DESCRIPTION:Following a series of successful works
 hops on the implementation of logics held in conju
 nction with the LPAR conference, there will be a f
 ourth workshop on this topic, to be held in conjun
 ction with LPAR'2003.   For more information, see 
 the LPAR'2003 website at http://www.lpar.net/2003/
    Researchers interested in participating are inv
 ited to send a short abstract, experimental paper,
  position paper, system description, or research p
 aper of between 2 and 15 pages to B.Konev at csc.l
 iv.ac.uk. Submissions will be refereed by the prog
 ram committee, which will select a balanced progra
 m of high-quality contributions. Deadline for subm
 issions: 27 July 2003.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Follo
 wing a series of successful workshops on the imple
 mentation of\nlogics held in conjunction with the 
 LPAR conference, there will be a\nfourth workshop 
 on this topic, to be held in conjunction with LPAR
 '2003.\n      </p>\n      \n    \n      <p>For mor
 e information, see the LPAR'2003 website at\n     
    <a target="_blank" href="http://www.lpar.net/20
 03/">http://www.lpar.net/2003/</a>\n      </p>\n  
   </div><div>\n        <p>\nResearchers interested
  in participating are invited to send a short\nabs
 tract, experimental paper, position paper, system 
 description, or\nresearch paper of between 2 and 1
 5 pages to\n <a class="email">B.Konev <span class=
 "at">at</span> csc.liv.ac.uk</a>.\nSubmissions wil
 l be refereed by the program committee, which will
  select a\nbalanced program of high-quality contri
 butions.\nDeadline for submissions: 27 July 2003.\
 n      </p>\n      </div>
URL:/NewsandEvents/Archives/2003/newsitem/462/27-S
 eptember-2003-4th-International-Workshop-on-the-Im
 plementation-of-Logics
END:VEVENT
END:VCALENDAR