equal
deleted
inserted
replaced
110 <li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A> (France) |
110 <li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A> (France) |
111 by Jasmin Blanchette and Stephan Merz |
111 by Jasmin Blanchette and Stephan Merz |
112 <li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A> (Austria) |
112 <li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A> (Austria) |
113 by Rene Thiemann and Christian Sternagel |
113 by Rene Thiemann and Christian Sternagel |
114 <li> <A HREF="http://web.cecs.pdx.edu/~apt/itp2016/bid.html">Oregon</A> (USA) |
114 <li> <A HREF="http://web.cecs.pdx.edu/~apt/itp2016/bid.html">Oregon</A> (USA) |
115 by Andrew Tolmach, John O'Leary and Brian Huffma |
115 by Andrew Tolmach, John O'Leary and Brian Huffman |
116 <li> <A HREF="http://frederic.loulergue.eu/ITP2016/">Orleans</A> (France) |
116 <li> <A HREF="http://frederic.loulergue.eu/ITP2016/">Orleans</A> (France) |
117 by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin |
117 by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin |
118 </ul> |
118 </ul> |
119 |
119 |
120 |
120 |