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
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
\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
\n \nFor abstracts an d more information, see \n http://lit.science.uva.nl/News/sem inar03-2.html#Nov14\n.\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