BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/4626/22-September-2012-Workshop-on-Dependence-Log
ic-and-Strategic-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/Events/Upcoming-Events/newsitem
/4626/22-September-2012-Workshop-on-Dependence-Log
ic-and-Strategic-Reasoning
END:VEVENT
END:VCALENDAR