Mechanised Reasoning, illustrated via Auction Theory and Practice
Colin Rowat (University of Birmingham, United Kingdom)
- TI Complexity in Economics Seminars
Colin Rowat (University of Birmingham, United Kingdom)
Daryna Kolesnyk (Erasmus University Rotterdam)
Rob Sperna Weiland (University of Amsterdam) and Gabriele Ciminelli (University of Amsterdam)
Caterina Santi (Scuola Superiore Sant'Anna, Italy)
Mathias Reynaert (University of Toulouse, France)
Tore Ellingesen (Stockholm School of Economics, Sweden)
Cynthia Wu (The University of Chicago, United States)
Georg Granic (Erasmus University Rotterdam)
Per Mykland (The University of Chicago, United States)
Dyaran Bansraj (Erasmus University Rotterdam)
Alexander Guembel (Toulouse School of Economics, France)
Oskar Nordström Skans (Uppsala University, Sweden)
Irma Clots-Figuera (University Carlos III de Madrid, Spain)
Drew Creal (The University of Chicago, United States)
Sang Yoon (Tim) Lee (Toulouse School of Economics, France)
Drew Creal (University of Chicago, United States)
Philip Ushchev (National Research University Higher School of Economics, Russia)
Martijn van den Assem (VU Amsterdam)
Aksel Erbahar (Erasmus University Rotterdam)
Jaromír Kovářík (University of the Basque Country, Spain)