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/2002/newsitem/111/25-J
 uly-2002-HyLo@LICS-4th-Workshop-on-Hybrid-Logics-C
 openhagen-Denmark
DTSTAMP:20011220T000000
SUMMARY:HyLo@LICS: 4th Workshop on Hybrid Logics, 
 Copenhagen, Denmark
DTSTART;VALUE=DATE:20020725
DTEND;VALUE=DATE:20020725
LOCATION:Copenhagen, Denmark
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. Although the
 y date back to the late 1960s, and have been spora
 dically investigated ever since, it is only in the
  1990s that work on them really got into its strid
 e.   HyLo@LICS is likely to be relevant to a wide 
 range of people, including those interested in des
 cription logic, feature logic, applied modal logic
 s, temporal logic, and labelled deduction. In this
  workshop we hope to bring together researchers fr
 om all the different fields just mentioned (and ho
 pefully some others) in an attempt to explore what
  they all have (and do not have) in common.   The 
 full text of this announcement can be found at her
 e, or on the Hybrid Logics homepage at http://staf
 f.science.uva.nl/~carlos/hybrid/.  We invite the c
 ontribution of research papers to the workshop. Pl
 ease send electronically an extended abstract of u
 p to 10 A4 size pages, in PostScript format to: ca
 rlos at science.uva.nl, before the 26st of April, 
 2002.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Hybri
 d logic is a branch of modal logic in which it is 
 possible to\n        directly refer to worlds/time
 s/states or whatever the elements of the\n        
 (Kripke) model are meant to represent. Although th
 ey date back to the\n        late 1960s, and have 
 been sporadically investigated ever since, it is\n
         only in the 1990s that work on them really
  got into its stride.\n      </p>\n      <p>HyLo@L
 ICS is likely to be relevant to a wide range of pe
 ople,\n        including those interested in descr
 iption logic, feature logic,\n        applied moda
 l logics, temporal logic, and labelled deduction.\
 n        In this workshop we hope to bring togethe
 r researchers from all the\n        different fiel
 ds just mentioned (and hopefully some others) in a
 n\n        attempt to explore what they all have (
 and do not have) in common.\n      </p>\n    \n   
    \n      <p>The full text of this announcement c
 an be found at\n        <a class="longdescriptionl
 ink" href="https://www.illc.uva.nl/NewsandEvents/n
 ewsitem/111">here</a>, or on the Hybrid Logics hom
 epage at\n        <a target="_blank" href="http://
 staff.science.uva.nl/~carlos/hybrid/">http://staff
 .science.uva.nl/~carlos/hybrid/</a>.</p>\n    </di
 v><div>\n      <p>We invite the contribution of re
 search papers to the workshop. Please\n        sen
 d electronically an extended abstract of up to 10 
 A4 size pages,\n        in PostScript format to: <
 a class="email">carlos <span class="at">at</span> 
 science.uva.nl</a>,\n        before the <b>26st of
  April, 2002</b>.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2002/newsitem/111/25-J
 uly-2002-HyLo@LICS-4th-Workshop-on-Hybrid-Logics-C
 openhagen-Denmark
END:VEVENT
END:VCALENDAR