Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

15 July 2014, Vienna Summer of Logic 2014 Workshop on Logic and Games, Vienna, Austria

Date: 15 July 2014
Location: Vienna, Austria
Deadline: 1 May 2014

Despite its austere appearance, formal logic can often be viewed through the lens of game theory, whereby various logical concepts -- validity, consequence, provability, satisfiability, (in)dependence, possibility, etc. -- become animated as games. Going in the other direction, one can start with games and find logics, and various logical concepts, therein. The idea of viewing logics as games, and vice versa, is by no means new, but it has enjoyed a certain renaissance in recent years. The workshop is intended to serve as a magnet to attract the latest research in the spirit of connecting logic to games.

Logic and Games will be a one-day event consisting of three invited 60-minute talks, together with selected shorter contributed talks. Invited speakers: Gabriel Sandu (Helsinki), Ondrej Majer (Prague) and Kazushige Terui (Kyoto).

For more information, see http://www.logic.at/logic-and-games-2014/ or contact the organizers at .

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is May 1st.

Please note that this newsitem has been archived, and may contain outdated information or links.