justin-site/content/news.md

469 B

  • 02/2015 Our paper A Theory AB Toolbox has been accepted to SNAPL 2015!
  • 02/2015 Our abstract Death, Taxes, and Formal Verification has been accepted to SNAPL 2015!
  • 02/2015 Our paper Computer-aided verification in mechanism design has been uploaded to arxiv.
  • 01/2015 I will be visiting IMDEA Software in Madrid until early March.
  • 11/2014 Our paper Jointly private convex programming has been uploaded to arXiv.