diff -r d3c21ce26f5b -r 8d2a12050a75 index.html --- a/index.html Mon Jun 08 22:05:58 2015 +0800 +++ b/index.html Wed Jun 10 00:45:53 2015 +0100 @@ -30,8 +30,7 @@ google.maps.event.addDomListener(window, 'load', initialize); @@ -108,7 +107,7 @@
ITP 2015 will be in Nanjing, China |
-![]() |
+![]() |
Accepted papers
-There will be an Isabelle tutorial before the
+
There will be an
+Isabelle tutorial before the
conference (21 - 23 August), and
a
Coq tutorial after the conference