VSL 2014: VIENNA SUMMER OF LOGIC 2014
LG Call for Papers

LG2014 – Logic and Games 2014
July 15, 2014 · Vienna, Austria

http://www.logic.at/logic-and-games-2014/

Important Dates

Submission deadline May 10, 2014
Author notification May 20, 2014
VSL early registration deadline June 8, 2014
VSL late registration deadline June 30, 2014
Workshop July 15, 2014

Aims and Scope

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.

Invited talks

  • Kazushige Terui (Kyoto), Ludics and interactive completeness
  • Gabriel Sandu (Helsinki), Signaling in independence-friendly logic
  • Ondrej Majer (Prage), Semantic games for Łukasiewicz logic

Program Committee

  • Jesse Alama (Theory and Logic Group, Technical University of Vienna) - chair
  • Chris Fermüller (Theory and Logic Group, Technical University of Vienna)