author | Christian Urban <urbanc@in.tum.de> |
Sun, 29 Aug 2010 12:17:25 +0800 | |
changeset 2453 | 2f47291b6ff9 |
parent 2452 | 39f8d405d7a2 |
child 2454 | 9ffee4eb1ae1 |
--- a/README Sun Aug 29 12:14:40 2010 +0800 +++ b/README Sun Aug 29 12:17:25 2010 +0800 @@ -28,4 +28,6 @@ Pearl ... accepted at ITP Pearl-jv ... journal version -Quotient-Paper .. submitted to SAC \ No newline at end of file +Quotient-Paper .. submitted to SAC + +Slides ... various talks Christian gave recently \ No newline at end of file