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 http://www.illc.uva.nl/lint/deplog01.p hp On Saturday, two talks of one hour and two sh ort talks of thirty minutes will be held; on Sunda y, instead, there will be a one-hour long talk and two short talks of thirty minutes. The titles o f the talks have not been yet decided; those inter ested should send their proposals to Jouko Väänäne n as soon as possible, and in any case before Octo ber 23. X-ALT-DESC;FMTTYPE=text/html:
\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.
\n \n \n\n The w orkshop organizers are Jouko Väänän en and Dag Westerstå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 http://www.il lc.uva.nl/lint/deplog01.php
\n On Saturday, two talks of one h
our and two short talks of thirty\n minutes
will be held; on Sunday, instead, there will be a
one-hour long\n talk and two short talks o
f thirty minutes.
\n The title
s of the talks have not been yet decided; those in
terested should send their proposals to Jouko V&au
ml;änänen as soon as possible, and in an
y case before October 23. \n