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/2014/newsitem/5573/15-
 July-2014-Vienna-Summer-of-Logic-2014-Workshop-on-
 Logic-and-Games-Vienna-Austria
DTSTAMP:20140223T000000
SUMMARY:Vienna Summer of Logic 2014 Workshop on Lo
 gic and Games, Vienna, Austria
DTSTART;VALUE=DATE:20140715
DTEND;VALUE=DATE:20140715
LOCATION:Vienna, Austria
DESCRIPTION:Despite its austere appearance, formal
  logic can often be viewed through the lens of gam
 e theory, whereby various logical concepts -- vali
 dity, consequence, provability, satisfiability, (i
 n)dependence, possibility, etc. -- become animated
  as games. Going in the other direction, one can s
 tart with games and find logics, and various logic
 al concepts, therein. The idea of viewing logics a
 s games, and vice versa, is by no means new, but i
 t has enjoyed a certain renaissance in recent year
 s. The workshop is intended to serve as a magnet t
 o attract the latest research in the spirit of con
 necting logic to games.    Logic and Games will be
  a one-day event consisting of three invited 60-mi
 nute talks, together with selected shorter contrib
 uted talks. Invited speakers: Gabriel Sandu (Helsi
 nki), Ondrej Majer (Prague) and Kazushige Terui (K
 yoto).   For more information, see http://www.logi
 c.at/logic-and-games-2014/ or contact the organize
 rs at LG2014 at logic.at.    The Programme Committ
 ee cordially invites all researchers to submit the
 ir papers for presentation. Submission deadline is
  May 1st.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      Despite its austere appearance, formal logic 
 can often be\n        viewed through the lens of g
 ame theory, whereby various\n        logical conce
 pts -- validity, consequence, provability,\n      
   satisfiability, (in)dependence, possibility, etc
 . -- become\n        animated as games. Going in t
 he other direction, one can start\n        with ga
 mes and find logics, and various logical concepts,
 \n        therein. The idea of viewing logics as g
 ames, and vice versa,\n        is by no means new,
  but it has enjoyed a certain renaissance\n       
  in recent years. The workshop is intended to serv
 e as a magnet\n        to attract the latest resea
 rch in the spirit of connecting\n        logic to 
 games.\n      </p>\n      <p>\n        Logic and G
 ames will be a one-day event consisting of three\n
         invited 60-minute talks, together with sel
 ected shorter\n        contributed talks.  Invited
  speakers: Gabriel Sandu\n        (Helsinki), Ondr
 ej Majer (Prague) and Kazushige Terui (Kyoto).\n  
     </p>\n    \n      \n      <p>For more informat
 ion, see\n        <a target="_blank" href="http://
 www.logic.at/logic-and-games-2014/">http://www.log
 ic.at/logic-and-games-2014/</a>\n         or conta
 ct the organizers at <a class="email">LG2014 <span
  class="at">at</span> logic.at</a>.\n      </p>\n 
    </div><div>\n      <p>\n        The Programme C
 ommittee cordially invites all researchers\n      
   to submit their\n        papers for presentation
 .\n        Submission deadline is May 1st.\n      
 </p>\n      </div>
URL:/NewsandEvents/Archives/2014/newsitem/5573/15-
 July-2014-Vienna-Summer-of-Logic-2014-Workshop-on-
 Logic-and-Games-Vienna-Austria
END:VEVENT
END:VCALENDAR