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/554/14-N
 ovember-2003-Computing-with-LLI-Seminar-LIT-MoL-Me
 eting-Juan-Heguiabehere
DTSTAMP:20031110T000000
SUMMARY:Computing with LLI Seminar & LIT/MoL Meeti
 ng, Juan Heguiabehere
ATTENDEE;ROLE=Speaker:Juan Heguiabehere
DTSTART;TZID=Europe/Amsterdam:20031114T133000
DTEND;TZID=Europe/Amsterdam:20031114T000000
LOCATION:Room B2.44, Gebouw B, Nieuwe Achtergracht
  166, Amsterdam
DESCRIPTION:Juan Heguiabehere will talk about the 
 importance of implementation and benchmarking in a
 utomated reasoning, especially as concerns modal a
 nd hybrid theorem proving, and the use of Dynamic 
 Predicate Logic (DPL) and extensions as a programm
 ing language.    Afterwards there will be a meetin
 g of the LIT group with the students from the Mast
 er of Logic program. This meeting will be held at 
 the Herengracht 182, starting at 16.00. The meetin
 g is only accessible for LIT and/or MOL members.  
  For abstracts and more information, see http://li
 t.science.uva.nl/News/seminar03-2.html#Nov14.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Juan Hegui
 abehere will talk about the importance of implemen
 tation and benchmarking in automated reasoning, es
 pecially as concerns modal and hybrid theorem prov
 ing, and the use of Dynamic Predicate Logic (DPL) 
 and extensions as a programming language.\n      <
 /p>\n      <p>\n        Afterwards there will be a
  meeting of the LIT group with the students from t
 he Master of Logic program. This meeting will be h
 eld at the Herengracht 182, starting at 16.00. The
  meeting is only accessible for LIT and/or MOL mem
 bers.\n      </p>\n    \n      <p>For abstracts an
 d more information, see \n        <a target="_blan
 k" href="http://lit.science.uva.nl/News/seminar03-
 2.html#Nov14">http://lit.science.uva.nl/News/semin
 ar03-2.html#Nov14</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2003/newsitem/554/14-N
 ovember-2003-Computing-with-LLI-Seminar-LIT-MoL-Me
 eting-Juan-Heguiabehere
END:VEVENT
END:VCALENDAR