FOUNDATIONS OF THE FORMAL SCIENCES V

Infinite Games

• Samson Abramsky, Oxford UK: Game Semantics and Infinite Games
• Alessandro Andretta, Torino: Wadge-determinacy and the semi-linear ordering principle
• Dietmar Berwanger, Aachen: Rationality and regularity in multi-player games
• Julian Bradfield, Edinburgh UK: IF Logic and Fixpoint Logic
• Matthias Blonski, Frankfurt: Games in Aggregated Form
• Adam Brandenburger, New York NY: Admissibility in Games
• Jérémie Cabessa, Lausanne: An infinite game on omega-semigroups
• Francien Dechesne, Tilburg / Eindhoven: Game theoretical semantics and infinity
• Samson de Jager, Amsterdam: Solving asymmetric combinatorial games
• Natasha Dobrinen, State College PA: Infinite Games on Boolean Algebras
• Jacques Duparc, Lausanne: Wadge games and sets of reals recognied by simple machines: An omega power of a finite context-free language which is Borel above Delta⁰_omega
• Johannes Emrich, Erlangen: A dialogical decision procedure for predicate logic
• Angel Garrido, Madrid: Matrix Theory and Artificial Intelligence
• Lorenz Halbeisen, Belfast UK: Infinite Games in Forcing Constructions
• Christoph Heinatsch, Münster: The determinacy strength of Pi¹₂ comprehension
• Ian Hodkinson, London UK: Games in algebraic logic: axiomatisations and beyond
• Josef Hofbauer, London UK: Evolutionary dynamics for infinite games
• Kevin Kelly, Pittsburgh PA: Ockham's Razor as the Most Efficient Strategy in the Infinite Truth-finding Game of Science
• Gleb A. Koshevoy, Moscow: Cooperative games with infinite number of players, Projective systems, and Cores
• Kenneth A. Presting, Chapel Hill NC: The Valuation of Choices in The Logic of Decision
• Sandra Quickert, Edinburgh: Games and Model Checking
• Hamid Sabourian, Cambridge UK: Stability and equilibrium selection in evolutionary game theory
• Victor Selivanov, Novosibirsk: Memoir on Wadge degrees of regular star-free omega-languages
• Marion Scheepers, Boise ID: Infinite Games in Topology
• Robert Simon, London UK: Games of incomplete information, ergodic theory, and the measurability of equilibria
• Brian Skyrms, Irvine CA: Replicator Dynamics and the Unreasonable Effectiveness of Cheap Talk in Evolutionary Games
• Fernando Tohmé, Bahía Blanca: A New Set-Theoretic Foundation, Based on Determinacy, for Economic Theory
• Boaz Tsaban, Jerusalem: Game theory of generalized selection hypotheses
• Jouko Väänänen, Helsinki: A new game in infinitary logic
• Stefano Vannucci, Siena: On concept lattices of coalitional game forms
• Yde Venema, Amsterdam: Automata, logic and games: a coalgebraic perspective
• Philip Welch, Bristol UK: A game theoretic approach to quasi-inductive definitions
• Enrico Zoli, Firenze: The role of Wolfgang Schmidt's (alpha,beta)-games in Descriptive Set Theory

General Information

How to get here

Conference fee

Registration

Schedule

Hotel Information

Conference Poster

Pictures

Proceedings Volume