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 186 07be48c6f591
parent 185 9ce7445ca4e2
child 187 8cfc96642da5
equal deleted inserted replaced
185:9ce7445ca4e2 186:07be48c6f591 
   137 The proceedings will be published as usual in the LNCS
 
   137 The proceedings will be published as usual in the LNCS
 
   138 Series.
 
   138 Series.
 
   139 
   139 
   140 <p>
 
   140 <p>
 
   141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Michael Norrish, Lars Birkedal<BR><BR>
 
   141 <IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Michael Norrish, Lars Birkedal<BR><BR>
 
   142 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A><BR><BR>
 
   142 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A>,
 
       
   143 contains essential information about registration, travelling, etc.<BR><BR>
 
   143 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR>
 
   144 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR>
 
   144 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an
 
   145 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an
 
   145 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 
   146 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 
   146 conference (21 - 23 August), and<BR><BR>
 
   147 conference (21 - 23 August), and<BR><BR>
 
   147 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a
 
   148 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a
itp-2015