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/2010/newsitem/3170/10-
 July-2010-International-Workshop-on-Hybrid-Logic-a
 nd-Applications-HyLo-2010-Edinburgh-Scotland
DTSTAMP:20091220T000000
SUMMARY:International Workshop on Hybrid Logic and
  Applications (HyLo 2010), Edinburgh, Scotland
DTSTART;VALUE=DATE:20100710
DTEND;VALUE=DATE:20100710
LOCATION:Edinburgh, Scotland
DESCRIPTION:Hybrid logic is an extension of modal 
 logic which allows us to refer explicitly to state
 s of the model in the syntax of formulas. This ext
 ra capability, very natural in the realm of tempor
 al logics, where one usually wants to refer to spe
 cific times, has been shown very effective in othe
 r domains too. Although they date back to the late
  1960s, and have been sporadically investigated ev
 er since, it was only in the 1990s that work on th
 em really got into its stride. Hybrid logic is now
  a mature field with significant impact on a range
  of other fields.   The topic of the HyLo workshop
  of 2010 is hybrid logic and its applications, for
  instance within the fields mentioned above. The s
 cope is not only standard hybrid-logical machinery
  like nominals, satisfaction operators, and the do
 wnarrow binder but, more generally, extensions of 
 modal logic that increase its expressive power.   
 See the workshop home page at http://hylocore.ruc.
 dk/HyLo2010.html for further information.   Author
 s are invited to submit papers in the following tw
 o categories: regular papers describing original r
 esearch, and presentation-only papers describing w
 ork recently published or submitted. Deadline for 
 submissions: March 30, 2010.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Hybri
 d logic is an extension of modal logic which allow
 s us to refer\n        explicitly to states of the
  model in the syntax of formulas.\n        This ex
 tra capability, very natural in the realm of tempo
 ral logics,\n        where one usually wants to re
 fer to specific times, has been shown\n        ver
 y effective in other domains too. Although they da
 te back to the\n        late 1960s, and have been 
 sporadically investigated ever since,\n        it 
 was only in the 1990s that work on them really got
  into its stride.\n        Hybrid logic is now a m
 ature field with significant impact on a range\n  
       of other fields.\n      </p>\n      <p>The t
 opic of the HyLo workshop of 2010 is hybrid logic 
 and its\n        applications, for instance within
  the fields mentioned above.\n        The scope is
  not only standard hybrid-logical machinery like n
 ominals,\n        satisfaction operators, and the 
 downarrow binder but, more generally,\n        ext
 ensions of modal logic that increase its expressiv
 e power.\n      </p>\n    \n      \n      <p>See t
 he workshop home page at\n      <a target="_blank"
  href="http://hylocore.ruc.dk/HyLo2010.html">http:
 //hylocore.ruc.dk/HyLo2010.html</a> for further\n 
      information.\n      </p>\n    </div><div>\n  
     <p>Authors are invited to submit papers in the
  following two\n      categories: regular papers d
 escribing original research, and\n      presentati
 on-only papers describing work recently published 
 or\n      submitted. Deadline for submissions: Mar
 ch 30, 2010.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2010/newsitem/3170/10-
 July-2010-International-Workshop-on-Hybrid-Logic-a
 nd-Applications-HyLo-2010-Edinburgh-Scotland
END:VEVENT
END:VCALENDAR