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/2007/newsitem/1699/6-1
 0-August-2007-Hybrid-Logics-HyLo-2007-Dublin-Irela
 nd-
DTSTAMP:20070131T000000
SUMMARY:Hybrid Logics (HyLo 2007), Dublin (Ireland
 )
DTSTART;VALUE=DATE:20070806
DTEND;VALUE=DATE:20070810
LOCATION:Dublin (Ireland)
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 ex
 pressive power is very useful. In addition, hybrid
 -logical machinery improves the behaviour of the u
 nderlying modal formalism. For example, it becomes
  considerably simpler to formulate modal proof sys
 tems, and one can prove completeness and interpola
 tion results of a generality that is not available
  in orthodox modal logic.   The topic of the HyLo 
 workshop of 2007 is not only standard hybrid-logic
 al machinery like nominals, satisfaction operators
 , and the downarrow binder, but generally extensio
 ns of modal logic that increase its expressive pow
 er. The workshop continues a series of previous wo
 rkshops on hybrid logic, most recently the LICS-af
 filiated HyLo 2006 (http://hylomol.ruc.dk/HyLo2006
 /). HyLo 2007 is organized as part of ESSLLI 2007.
    For more information, see http://hylomol.ruc.dk
 /HyLo2007  We invite the contribution of papers re
 porting new work from researchers interested in hy
 brid logic. Deadline for submissions: March 8, 200
 7.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Hybri
 d logic is a branch of modal logic allowing direct
 \n      reference to worlds/times/states. It is ea
 sy to justify interest\n      in hybrid logic on t
 he grounds of applications as the additional\n    
   expressive power is very useful. In addition, hy
 brid-logical\n      machinery improves the behavio
 ur of the underlying modal\n      formalism. For e
 xample, it becomes considerably simpler to\n      
 formulate modal proof systems, and one can prove c
 ompleteness\n      and interpolation results of a 
 generality that is not available\n      in orthodo
 x modal logic.\n      </p>\n      <p>The topic of 
 the HyLo workshop of 2007 is not only standard\n  
     hybrid-logical machinery like nominals, satisf
 action operators,\n      and the downarrow binder,
  but generally extensions of modal\n      logic th
 at increase its expressive power.  The workshop\n 
      continues a series of previous workshops on h
 ybrid logic, most\n      recently the LICS-affilia
 ted HyLo 2006\n      (<a target="_blank" href="htt
 p://hylomol.ruc.dk/HyLo2006/)">http://hylomol.ruc.
 dk/HyLo2006/)</a>.  HyLo 2007 is\n      organized 
 as part of <a target="_blank"\n      href="https:/
 /www.cs.tcd.ie/esslli2007/">ESSLLI 2007</a>.\n    
   </p>\n    \n      \n      <p>For more informatio
 n, see\n        <a target="_blank" href="http://hy
 lomol.ruc.dk/HyLo2007">http://hylomol.ruc.dk/HyLo2
 007</a>\n      </p>\n    </div><div>\n      <p>We 
 invite the contribution of papers reporting new wo
 rk from\n        researchers interested in hybrid 
 logic.\n        Deadline for submissions: March 8,
  2007.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1699/6-1
 0-August-2007-Hybrid-Logics-HyLo-2007-Dublin-Irela
 nd-
END:VEVENT
END:VCALENDAR