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/2022/newsitem/12927/6-
 --11-April-2022-Workshop-on-Hybrid-Logic-and-Appli
 cations-HyLo-2022-
DTSTAMP:20210913T142356
SUMMARY:Workshop on Hybrid Logic and Applications 
 (HyLo 2022)
DTSTART;VALUE=DATE:20220406
DTEND;VALUE=DATE:20220411
LOCATION:Crete, Greece
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.  Hybrid logi
 c is now a mature field with significant impact on
  a range of other fields, including  - applied mod
 al logics,  - temporal logic,  - labelled deductio
 n,  - philosophy of time, and  - social reasoning.
   The scope of the workshop is not only standard h
 ybrid-logical machinery like nominals, satisfactio
 n operators, and the downarrow binder, but general
 ly extensions of modal logic that increase its exp
 ressive power.  The duration of the workshop is a 
 half day or one day and it will take place at some
  point during the UNILOG congress, April 6-11, 202
 2.  We welcome contributions to the the theory and
  applications of hybrid logic. To submit a contrib
 ution, send a one-page abstract to both organizers
  of the workshop. Please write "HyLo submission" i
 n the subject field. Depending on the quality of t
 he abstracts, there might be a follow-up special i
 ssue of a journal, with a separate refereeing roun
 d.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Hybrid lo
 gic is a branch of modal logic in which it is poss
 ible to directly refer to worlds/times/states or w
 hatever the elements of the (Kripke) model are mea
 nt to represent.</p>\n\n  <p>Hybrid logic is now a
  mature field with significant impact on a range o
 f other fields, including<br>\n  - applied modal l
 ogics,<br>\n  - temporal logic,<br>\n  - labelled 
 deduction,<br>\n  - philosophy of time, and<br>\n 
  - social reasoning.</p>\n\n  <p>The scope of the 
 workshop is not only standard hybrid-logical machi
 nery like nominals, satisfaction operators, and th
 e downarrow binder, but generally extensions of mo
 dal logic that increase its expressive power.</p>\
 n\n  <p>The duration of the workshop is a half day
  or one day and it will take place at some point d
 uring the UNILOG congress, April 6-11, 2022.</p>\n
 </div><div>\n  <p>We welcome contributions to the 
 the theory and applications of hybrid logic. To su
 bmit a contribution, send a one-page abstract to b
 oth organizers of the workshop. Please write &quot
 ;HyLo submission&quot; in the subject field. Depen
 ding on the quality of the abstracts, there might 
 be a follow-up special issue of a journal, with a 
 separate refereeing round.</p>\n</div>
URL:https://sites.google.com/view/unilog-2022/work
 shops/hybrid-logic
CONTACT:Torben Braüner at torben at ruc.dk
CONTACT:Patrick Blackburn at patrick.rowan.blackbu
 rn at gmail.com
END:VEVENT
END:VCALENDAR