March 12 – 17 , 2017, Dagstuhl Seminar 17111

Game Theory in AI, Logic, and Algorithms


Swarat Chaudhuri (Rice University – Houston, US)
Sampath Kannan (University of Pennsylvania – Philadelphia, US)
Rupak Majumdar (MPI-SWS – Kaiserslautern, DE)
Michael J. Wooldridge (University of Oxford, GB)

For support, please contact

Dagstuhl Service Team


Dagstuhl Report, Volume 7, Issue 3 Dagstuhl Report
Aims & Scope
List of Participants


The Dagstuhl Seminar 17111: Game Theory in AI, Logic, and Algorithms was held from March 12--17, 2017. The seminar explored research challenges at the interface of computing and game theory. This area has seen fervent research activity in recent times. Specifically, game theoretic ideas have found currency in three key areas of computer science: in the algorithms community, algorithmic game theory is now a well-established sub-field; in formal methods, model checking and synthesis problems have been studied using game-theoretic concepts; and in artificial intelligence, game theory has come to provide the fundamental conceptual vocabulary for the field of multi-agent systems. Despite this manifest common interest, there is surprisingly little trade between game-theoretic approaches in these different subfields of computer science. Our aim in this seminar was to start to build some bridges between these three areas.

Summary text license
  Creative Commons BY 3.0 Unported license
  Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, and Michael J. Wooldridge


  • Artificial Intelligence / Robotics
  • Data Structures / Algorithms / Complexity
  • Verification / Logic


  • Game theory
  • Verification
  • Algorithms
  • Logic


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.