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/1315/11- August-2006-HyLo-2006-International-Workshop-on-Hy brid-Logic-Seattle-USA DTSTAMP:20060418T000000 SUMMARY:HyLo 2006: International Workshop on Hybri d Logic, Seattle, USA DTSTART;VALUE=DATE:20060811 DTEND;VALUE=DATE:20060811 LOCATION:Seattle, USA DESCRIPTION:Hybrid logic is a branch of modal logi c in which it is possible to directly refer to wor lds/times/states or whatever the elements of the ( Kripke) model are meant to represent. The workshop HyLo 2006 is likely to be relevant to a wide rang e of people, including those interested in descrip tion logic, feature logic, applied modal logics, t emporal logic, and labelled deduction. A theme of special interest at this HyLo workshop will be the combination of hybrid logic with other logics, th e basic methodological question being "what is the best way of hybridizing a given logic?" HyLo 200 6 is affiliated with LICS 2006. For more informa tion, see http://hylomol.ruc.dk/HyLo2006/ We inv ite the contribution of papers reporting new work from researchers interested in hybrid logic. Submi ssion deadline is 26 May 2006. X-ALT-DESC;FMTTYPE=text/html:
\nHyb
rid logic is a branch of modal logic in which it i
s possible to\ndirectly refer to worlds/times/stat
es or whatever the elements of\nthe (Kripke) model
are meant to represent.\nThe workshop HyLo 2006 i
s likely to be relevant to a wide range of\npeople
, including those interested in description logic,
feature\nlogic, applied modal logics, temporal lo
gic, and labelled\ndeduction.\nA theme of special\
ninterest at this HyLo workshop will be the combin
ation of hybrid\nlogic with other logics, the basi
c methodological question being\n"what is the best
way of hybridizing a given logic?"
\nHyLo 20
06 is affiliated with LICS 2006.\n
For more information, see\n http://hylomol.ruc.dk/HyLo2006/\n
\nWe invite the con tribution of papers reporting new work from\nresea rchers interested in hybrid logic.\n Submis sion deadline is 26 May 2006.\n
\n < /div> URL:/NewsandEvents/Archives/2006/newsitem/1315/11- August-2006-HyLo-2006-International-Workshop-on-Hy brid-Logic-Seattle-USA END:VEVENT END:VCALENDAR