STOC 2017
49th Annual ACM SIGACT Symposium on the Theory of Computing (STOC 2017)
Powered by
Conference Publishing Consulting
49th Annual ACM SIGACT Symposium on the Theory of Computing (STOC 2017)
,
June 19–23, 2017
,
Montreal, Canada
STOC 2017 – Proceedings
Contents
-
Abstracts
-
Authors
Invited Talks
Recent Trends in Decentralized Cryptocurrencies (Invited Talk)
Aviv Zohar
(Hebrew University of Jerusalem, Israel)
Why Prices Need Algorithms (Invited Talk)
Tim Roughgarden and
Inbal Talgam-Cohen
(Stanford University, USA; Hebrew University of Jerusalem, Israel)
Optimizing Tree Pattern Queries: Why Cutting Is Not Enough (Invited Talk)
Wim Martens
(University of Bayreuth, Germany)
Answering FAQs in CSPs, Probabilistic Graphical Models, Databases, Logic and Matrix Operations (Invited Talk)
Atri Rudra
(SUNY Buffalo, USA)
Fast Convergence of Learning in Games (Invited Talk)
Vasilis Syrgkanis
(Microsoft Research, USA)
Examining Classical Graph-Theory Problems from the Viewpoint of Formal-Verification Methods (Invited Talk)
Orna Kupferman
(Hebrew University of Jerusalem, Israel)
The Next 700 Network Programming Languages (Invited Talk)
Nate Foster
(Cornell University, USA)
Practical Post-quantum Key Agreement from Generic Lattices (Invited Talk)
Valeria Nikolaenko
(Stanford University, USA)
proc time: 0.79