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/2009/newsitem/2639/15- 17-July-2009-International-Workshop-on-Hybrid-Logi c-2009-HyLo-2009-Nancy-France DTSTAMP:20081130T000000 SUMMARY:International Workshop on Hybrid Logic 200 9 (HyLo 2009), Nancy, France DTSTART;VALUE=DATE:20090715 DTEND;VALUE=DATE:20090717 LOCATION:Nancy, France DESCRIPTION:Hybrid logic is a branch of modal logi c allowing direct reference to worlds/times/states . It is easy to justify interest in hybrid logic o n the grounds of applications, as the additional e xpressive power is very useful. In addition, hybri d-logical machinery improves the behaviour of the underlying modal formalism. For example, it become s considerably simpler to formulate modal proof sy stems, and one can prove completeness and interpol ation results of a generality that is not availabl e in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-lo gical machinery (like nominals, satisfaction opera tors, binders, etc) but also extensions of modal l ogic that increase its expressive power in one way or other. HyLo 2009 will be an special event, c onmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature log ic, applied modal logics, temporal logic, and labe lled deduction. The workshop aims to provide a for um for advanced PhD students and researchers to pr esent and discuss their work with colleagues and r esearchers. For more information, see http://hyl o.loria.fr/content/Hylo09/ We invite the contribu tion of papers reporting new work from researchers interested in hybrid logic. Deadline for submissi ons: Sunday, 1st March 2009 X-ALT-DESC;FMTTYPE=text/html:
Hybri d logic is a branch of modal logic allowing direct reference\n to worlds/times/states. It is easy to justify interest in hybrid\n logic on the grounds of applications, as the additional expressive\n power is very useful. In addi tion, hybrid-logical machinery\n improves t he behaviour of the underlying modal formalism. F or\n example, it becomes considerably simpl er to formulate modal proof\n systems, and one can prove completeness and interpolation resul ts\n of a generality that is not available in orthodox modal logic.\n But more general ly, the topic of HyLo 2009 is not only standard\n hybrid-logical machinery (like nominals, sa tisfaction operators,\n binders, etc) but a lso extensions of modal logic that increase\n its expressive power in one way or other.\n
\nHyLo 2009 will be an special even t, conmemorating the ten years\n since the organization of the first HyLo workshop in 1999.\n HyLo 2009 will be relevant to a wide range of people, including\n those interested in description logic, feature logic, applied\n modal logics, temporal logic, and labelled deduc tion. The\n workshop aims to provide a foru m for advanced PhD students and\n researche rs to present and discuss their work with colleagu es and\n researchers.\n
\n \n \nFor more information, see\n http://hylo.loria.fr/content/Hylo09/< /a>\n
We invite the contribution of papers reporting new work from\n researchers interested in hybrid logic.\n Deadline for submissions: Sunday, 1st March 2009\n
\n