AlgoSyn Fall School
(October 23rd – 25th, associated with SAGT 2013)

Part A: Algorithmic Game Theory, Mechanism Design, Auction Systems

• Lectures on Computational Complexity in Games and Auctions
  by Constantinos Daskalakis (Massachusetts Institute of Technology)

• Lectures on Linear programming and Mechanism Design
  by Rakesh Vohra (Kellog School of Management)

Part B: Games and Software Synthesis, Automata and Learning, Software Verification

• Lectures on Automata and Learning Based Methods in Software Verification
  by Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign

• Featured talk on Games, Synthesis, Verification and Learning: A Bird’s Eye View of AlgoSyn
  by Wolfgang Thomas, RWTH Aachen U.

Register and more information: here