Add LICS PC.

2018-02-01 12:45:54 +00:00
parent a34c6c67b9
commit 6fe29ed006
2 changed files with 3 additions and 0 deletions
@@ -1,3 +1,5 @@
+ **02/2018** I will be serving on the program committe of [**LICS
+  2018**](http://lics.siglog.org/lics18/) in Oxford, UK.
 + **01/2018** Slides now available for **Proving Expected Sensitivity of
  Probabilistic Programs**.
 + **12/2017** **A Program Logic for Probabilistic Programs** will appear at