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/2012/newsitem/4626/22-
September-2012-Workshop-on-Dependence-Logic-and-St
rategic-Reasoning
DTSTAMP:20120909T000000
SUMMARY:Workshop on Dependence Logic and Strategic
Reasoning
DTSTART;VALUE=DATE:20120922
DTEND;VALUE=DATE:20120922
LOCATION:Doelenzaal, Universiteitsbibliotheek, Sin
gel 425, 1012 WP Amsterdam
DESCRIPTION:Dependence Logic is an extension of Fi
rst Order Logic that adds to it atomic formulas fo
r expressing functional dependence relations betwe
en terms. This workshop, held in connection to th
e PhD defense of Pietro Galliani, will discuss the
properties of this logic and of its variants, and
, more in general, the role of strategic and game-
theoretic reasoning in mathematical logic. For mo
re information, see http://dependencelogic.org/gal
liani/workshop.html
X-ALT-DESC;FMTTYPE=text/html:\n Dependen
ce Logic is an extension of First Order Logic that
adds to it atomic formulas for expressing functio
nal dependence relations between terms.
\n
This workshop, held in connection to the PhD
defense of Pietro Galliani, will discuss the prop
erties of this logic and of its variants, and, mor
e in general, the role of strategic and game-theor
etic reasoning in mathematical logic.
\n \n
For more information, see http://dependencelogic.org/galliani/wo
rkshop.html
\n
URL:/NewsandEvents/Archives/2012/newsitem/4626/22-
September-2012-Workshop-on-Dependence-Logic-and-St
rategic-Reasoning
END:VEVENT
END:VCALENDAR