\n

\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\n

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
\n The Programme C ommittee cordially invites all researchers\n to submit their\n papers for presentation .\n Submission deadline is May 1st.\n

\n