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.
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.
The VSL 2014 registration page contains instructions about travel and accommodation for VSL 2014.
| Gabriel Sandu (Helsinki) |
Ondrej Majer (Prague) |
Kazushige Terui (Kyoto) |
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.
| Chris Fermüller (TU Vienna) |
Jesse Alama (TU Vienna) |
Christoph Roschger (TU Vienna) |
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.