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)