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


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


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