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:
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
\nThe 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
\n \n \nSee t he workshop home page at\n http: //hylocore.ruc.dk/HyLo2010.html for further\n information.\n
Authors are invited to submit papers in the follo wing two\n categories: regular papers describ ing original research, and\n presentation-onl y papers describing work recently published or\n submitted. Deadline for submissions: March 30, 2010.\n
\n