---------- Forwarded message ---------- From: Jesse Alama <[email protected]> Date: Fri, Jan 31, 2014 at 1:54 AM Subject: [PT] Call for papers: Logic and Games 2014 To: "ProofTheory.list" <[email protected]>
Vienna Summer of Logic 2014 Workshop on Logic and Games 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. 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. Important dates ---------- May 1: Submission deadline May 15: Author notification May 30: VSL early registration deadline June 30: VSL registration deadline July 15: Workshop Invited speakers ---------- + Gabriel Sandu (Helsinki) + Ondrej Majer (Prague) + Kazushige Terui (Kyoto) Format ---------- Logic and Games will be a one-day event consisting of three invited 60-minute talks, together with selected shorter contributed talks. Local organization ---------- + Chris Fermueller (TU Vienna) + Jesse Alama (TU Vienna) + Christoph Roschger (TU Vienna) Submission ---------- To contribute, submit a 2-4 page abstract via the workshop's Easychair site: https://www.easychair.org/conferences/?conf=lg2014 Submissions will be selected for presentation by the organizers with the possible assistance of external reviewers, as warranted. Contact ---------- To contact the organizers, send email to [email protected] . -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
