http://www.dagstuhl.de/17111

March 12 – 17 , 2017, Dagstuhl Seminar 17111

Game Theory in AI, Logic, and Algorithms

Organizers

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

Documents

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

Summary

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.

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

Classification

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

Keywords

  • Game theory
  • Verification
  • Algorithms
  • Logic

Book exhibition

Books from the participants of the current Seminar 

Book exhibition in the library, ground floor, during the seminar week.

Documentation

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).

Publications

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

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.

NSF young researcher support