Mercurial Mercurial > hg > itp-2015 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
index.html
changeset 46 0dabc9c2d59e
parent 45 03ab22cb0f03
child 47 81b7d7472b75
equal deleted inserted replaced
45:03ab22cb0f03 46:0dabc9c2d59e 
   227 We will seek to keep costs low by negotiating discounts with
 
   227 We will seek to keep costs low by negotiating discounts with
 
   228 the hotel and by trying to find sponsoring where sensible.  
   228 the hotel and by trying to find sponsoring where sensible.  
   229 
   229 
   230 <H4>Experience of the Programme Chairs</H4>
 
   230 <H4>Experience of the Programme Chairs</H4>
 
   231 
   231 
   232 Xingyuan and Christian are regular participants at ITP having had the good fortune to have
 
   232 Xingyuan and Christian are regular participants at ITP having had the good fortune of their 
   233 papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
 
   233 papers being accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
 
   234 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
 
   234 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
 
   235 
   235 
   236 
   236 
   237 </TD>
 
   237 </TD>
 
   238 </TR>
 
   238 </TR>
itp-2015