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:<div>\n      <p>\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?"<br />\nHyLo 20
 06 is affiliated with LICS 2006.\n      </p>\n    
 \n      \n      <p>For more information, see\n    
     <a target="_blank" href="http://hylomol.ruc.dk
 /HyLo2006/">http://hylomol.ruc.dk/HyLo2006/</a>\n 
      </p>\n    </div><div>\n      <p>\nWe invite t
 he contribution of papers reporting new work from\
 nresearchers interested in hybrid logic.\n        
 Submission deadline is 26 May 2006.\n      </p>\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