Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 15 Jun 2013 07:50:06 -0400
changeset 199 b3b67c7cbb8b
parent 198 2814fbaebb04
child 200 ef7bedc969d3
changed
index.html file | annotate | diff | comparison | revisions
misc.html file | annotate | diff | comparison | revisions
teaching.html file | annotate | diff | comparison | revisions
travelling.html file | annotate | diff | comparison | revisions 
--- a/index.html	Tue Jun 04 11:06:00 2013 +0100
+++ b/index.html	Sat Jun 15 07:50:06 2013 -0400
@@ -293,10 +293,7 @@
  
 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Fri Jan  6 18:44:51 GMT 2012
-<!-- hhmts end -->
+<P>
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
 </BODY>
--- a/misc.html	Tue Jun 04 11:06:00 2013 +0100
+++ b/misc.html	Sat Jun 15 07:50:06 2013 -0400
@@ -118,10 +118,7 @@
 </TR>
 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Nov  3 01:35:52 GMT 2011
-<!-- hhmts end -->
+<P>
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
--- a/teaching.html	Tue Jun 04 11:06:00 2013 +0100
+++ b/teaching.html	Sat Jun 15 07:50:06 2013 -0400
@@ -418,10 +418,7 @@
 </TR>
 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Nov  3 01:36:36 GMT 2011
-<!-- hhmts end -->
+<P>
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
--- a/travelling.html	Tue Jun 04 11:06:00 2013 +0100
+++ b/travelling.html	Sat Jun 15 07:50:06 2013 -0400
@@ -64,8 +64,8 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
-<li> ITP in Rennes (23 - 26 July)
+<li> Talk at ITP'13 in Rennes (23 - 26 July)
+<li> Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
 </ul>
 </TD>
 </TR>
@@ -78,6 +78,7 @@
 
 <ul class="striped">
 <li> POPL in Rome (23 - 25 January)
+<li> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour)
 </ul>
 
 <H5>2012</H5>
public_html