FOUNDATIONS OF THE FORMAL SCIENCES V
Infinite Games
Rheinische Friedrich-Wilhelms-Universität Bonn
Mathematisches Institut
November 26th to 29th, 2004
Organizing & Scientific Committee:
Stefan Bold
(Bonn / Denton TX),
Boudewijn de Bruin
(Amsterdam),
Peter Koepke
(Bonn),
Benedikt Löwe
(Amsterdam/Bonn, Coordinator),
Thoralf Räsch
(Potsdam),
Johan van Benthem
(Amsterdam);
Coordinating e-mail Address:
fotfs@math.uni-bonn.de
Speakers:
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
0
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
1
2
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
Sponsored by:
Last changed: December 6th, 2004