VSL2014 Workshop on Logic and Games

July 15, 2014

(Part of Vienna Summer of Logic 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.


We seek contributions connected with:

semantic games evaluation games dialogue games
comparison games logic games and complexity games for nonclassical logics
game semantics logic in games game logics
logic of coalition games computability logic interactivity in logics
argumentation games games and (dis)proofs strategy calculi

The list is not exhaustive; any contribution cohering with these themes is welcome.

Important Dates

May 1May 10
Submission deadline
May 10May 20
Author notification
May 30June 8
VSL early registration deadline
June 30
VSL registration deadline
July 15


To register, visit VSL 2014 registration and follow the procedure described there. This VSL registration page found there handles all registration for VSL, not just our workshop. When you proceed with registration (follow the big Register Here with Austropa Interconvention button), register for our workshop by selecting the option Mathematical Logic (Colloquium, LATD and associated workshops) and complete the form.

The fee for our workshop is €100 if you register before June 8. After June 8 (but before the workshop), the cost is €120. If you register on the day of the workshop, the cost is €145.

Travel and Accommodation

The VSL 2014 registration page contains instructions about travel and accommodation for VSL 2014.

Invited Speakers

Gabriel Sandu
Ondrej Majer
Kazushige Terui

Format / Schedule

Logic and Games will be a one-day event consisting of three invited 45-minute talks, together with selected shorter contributed talks. The schedule can be found in the VSL 2014 day-by-day program (PDF).

All talks will take place in Hörsaal (lecture room) 12, main building (Karlsplatz), Stiege (staircase) 6, 2nd floor.

Local Organization

Chris Fermüller
(TU Vienna)
Jesse Alama
(TU Vienna)
Christoph Roschger
(TU Vienna)

Submission / Call for Papers

To contribute, submit a 2–4 page abstract via the workshop’s EasyChair site. Submissions will be selected for presentation by the organizers with the possible assistance of external reviewers, as warranted.


To contact the organizers, send an email to LG2014@logic.at.