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/3046/7-8
 -November-2009-First-DepLog-LINT-Workshop-Stockhol
 m-Sweden
DTSTAMP:20091018T000000
SUMMARY:First DepLog LINT Workshop, Stockholm, Swe
 den
DTSTART;VALUE=DATE:20091107
DTEND;VALUE=DATE:20091108
LOCATION:Stockholm, Sweden
DESCRIPTION:This workshop aims to provide an oppor
 tunity to discuss and further develop the current 
 research directions on the topic of Dependence Log
 ic, Dependence Friendly Logic, and Independence Fr
 iendly Logic, such as the investigation of their p
 roof- and model-theoretic properties, their extens
 ions and their relations to each other and to othe
 r formalisms.    The workshop organizers are Jouko
  Väänänen and Dag Westerståhl. If you intend to co
 me to the workshop, please send Jouko a message, p
 referably no later than November 1. For more infor
 mation, see https://www.illc.uva.nl/lint/deplog01.
 php   On Saturday, two talks of one hour and two s
 hort talks of thirty minutes will be held; on Sund
 ay, instead, there will be a one-hour long talk an
 d two short talks of thirty minutes.   The titles 
 of the talks have not been yet decided; those inte
 rested should send their proposals to Jouko Väänän
 en as soon as possible, and in any case before Oct
 ober 23.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>\n 
        This workshop aims to provide an opportunit
 y to discuss and further\n        develop the curr
 ent research directions on the topic of Dependence
 \n        Logic, Dependence Friendly Logic, and In
 dependence Friendly Logic, such\n        as the in
 vestigation of their proof- and model-theoretic pr
 operties,\n        their extensions and their rela
 tions to each other and to other\n        formalis
 ms. </p>\n    \n      \n        <p>\n        The w
 orkshop organizers are Jouko V&auml;&auml;n&auml;n
 en and Dag Westerst&aring;hl. If you intend to com
 e to the workshop, please send Jouko a message, pr
 eferably no later than November 1.\n        For mo
 re information, see <a target="_blank" href="https
 ://www.illc.uva.nl/lint/deplog01.php">https://www.
 illc.uva.nl/lint/deplog01.php</a></p>\n    </div><
 div>\n        <p>\n        On Saturday, two talks 
 of one hour and two short talks of thirty\n       
  minutes will be held; on Sunday, instead, there w
 ill be a one-hour long\n        talk and two short
  talks of thirty minutes. <br/>        \n        T
 he titles of the talks have not been yet decided; 
 those interested should send their proposals to Jo
 uko V&auml;&auml;n&auml;nen as soon as possible, a
 nd in any case before October 23. \n        </p>\n
       </div>
URL:/NewsandEvents/Archives/2009/newsitem/3046/7-8
 -November-2009-First-DepLog-LINT-Workshop-Stockhol
 m-Sweden
END:VEVENT
END:VCALENDAR