From a461ca85d2fff70ded62d9290f4c9f8c1af17fad Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 26 Jan 2015 15:38:12 +0100 Subject: [PATCH] Update contacts and news. --- bibs/myrefs.bib | 4 ++-- content/contacts.md | 13 +++++++++++-- content/news.md | 1 + 3 files changed, 14 insertions(+), 4 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 7b3c215..64eb16a 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -2120,7 +2120,7 @@ year = {2014} @unpublished{GHaccuracy, author = {Marco Gaboardi and Justin Hsu}, - title = {A Theory {AB} Toolbox}, + title = {A theory {AB} toolbox}, year = {2015}, jh = yes, docs = yes @@ -2128,7 +2128,7 @@ year = {2014} @unpublished{HsuTaxes, author = {Justin Hsu}, - title = {Death, Taxes, and Formal Verification}, + title = {Death, taxes, and formal verification}, year = {2015}, jh = yes, docs = yes diff --git a/content/contacts.md b/content/contacts.md index 5af4fc4..54ec4d0 100644 --- a/content/contacts.md +++ b/content/contacts.md @@ -1,3 +1,12 @@ ### Contacts ### -Office: GRW 561 -Email: email@justinh.su + +**IMDEA Software** +Room 366 +Campus Montegancedo + +**UPenn** +GRW 561 +Levine Hall + +**Email** +email@justinh.su diff --git a/content/news.md b/content/news.md index 0eb23ea..7ec37a7 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,4 @@ ++ **01/2015** I will be visiting **IMDEA Software** in Madrid until early March. + **01/2015** Our abstract **Death, Taxes, and Formal Verification** has been uploaded. + **01/2015** Our paper **A Theory AB Toolbox** has been uploaded. + **11/2014** Our paper **Jointly private convex programming** has been uploaded to