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:
\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
\n\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
\n \n \nFor more informat ion, see\n http://www.log ic.at/logic-and-games-2014/\n or conta ct the organizers at LG2014 at logic.at.\n
\n The Programme Committ ee cordially invites all researchers\n to s ubmit their\n papers for presentation.\n Submission deadline is May 1st.\n
\n