--- a/msc-projects-17.html	Mon Nov 20 09:28:21 2017 +0000
+++ b/msc-projects-17.html	Mon Nov 20 09:35:20 2017 +0000
@@ -65,7 +65,7 @@
   For example
   <A HREF="http://www.home.hs-karlsruhe.de/~suma0002/publications/regex-parsing-derivatives.pdf">this paper</A> 
   about regular expression matching and derivatives was presented in 2014 at the international 
-  FLOPS conference. Another <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">paper</A> by my PhD student and me was presented in 2016
+  FLOPS conference. Another <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">paper</A> by my PhD student and me was presented in 2016
   at the international ITP conference.
   The task in this project is to implement these results and use them for lexing.</p>
 
@@ -126,7 +126,7 @@
   in this project is to find out how good they actually are by implementing the results from their paper. 
   Their approach to regular expression matching is also based on the concept of derivatives.
   I used derivatives very successfully once for something completely different in a
-  <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">paper</A> 
+  <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">paper</A> 
   about the <A HREF="http://en.wikipedia.org/wiki/Myhill–Nerode_theorem">Myhill-Nerode theorem</A>.
   So I know they are worth their money. Still, it would be interesting to actually compare their results
   with my simple rainy-afternoon matcher and potentially &ldquo;blow away&rdquo; the regular expression matchers 
@@ -139,7 +139,7 @@
   <B>Literature:</B> 
   The place to start with this project is obviously this
   <A HREF="http://www.home.hs-karlsruhe.de/~suma0002/publications/regex-parsing-derivatives.pdf">paper</A>
-  and this <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">one</A>.
+  and this <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">one</A>.
   Traditional methods for regular expression matching are explained
   in the Wikipedia articles 
   <A HREF="http://en.wikipedia.org/wiki/DFA_minimization">here</A> and 
@@ -434,17 +434,17 @@
 
   <center>
     <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;"
-         src="http://nms.kcl.ac.uk/christian.urban/rpi-photo.jpg"
+         src="https://nms.kcl.ac.uk/christian.urban/rpi-photo.jpg"
          alt="Raspberry Pi"
          width="209" height="313">
 
     <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;"
-         src="http://nms.kcl.ac.uk/christian.urban/rpi-watch.jpg"
+         src="https://nms.kcl.ac.uk/christian.urban/rpi-watch.jpg"
          alt="Raspberry Pi"
          width="450" height="254">
 
     <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;"
-         src="http://nms.kcl.ac.uk/christian.urban/rpi-airmouse.jpg"
+         src="https://nms.kcl.ac.uk/christian.urban/rpi-airmouse.jpg"
          alt="Raspberry Pi"
          width="250" height="254">  
   </center>
@@ -497,7 +497,7 @@
  for an explanation what happened).
  We were able to prove the correctness of this algorithm, but were also able to
  establish the correctness of some optimisations in this
- <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">paper</A>.
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">paper</A>.
  </p>
 
  <p>On a much smaller scale, there are a few small programs and underlying algorithms where it
@@ -548,17 +548,17 @@
 <li> <H4>Earlier Projects</H4>
 
  I am also open to project suggestions from you. You might find some inspiration from my earlier projects:
- <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-12.html">BSc 2012/13</A>, 
- <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-12.html">MSc 2012/13</A>, 
- <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-13.html">BSc 2013/14</A>,
- <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-13.html">MSc 2013/14</A>, 
- <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-14.html">BSc 2014/15</A>,
- <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-14.html">MSc 2014/15</A>, 
- <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-15.html">BSc 2015/16</A>,
- <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-15.html">MSc 2015/16</A>, 
- <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-16.html">BSc 2016/17</A>,
- <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-16.html">MSc 2016/17</A>
- <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-17.html">BSc 2017/18</A>
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-12.html">BSc 2012/13</A>, 
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-12.html">MSc 2012/13</A>, 
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-13.html">BSc 2013/14</A>,
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-13.html">MSc 2013/14</A>, 
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-14.html">BSc 2014/15</A>,
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-14.html">MSc 2014/15</A>, 
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-15.html">BSc 2015/16</A>,
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-15.html">MSc 2015/16</A>, 
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-16.html">BSc 2016/17</A>,
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-16.html">MSc 2016/17</A>
+ <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-17.html">BSc 2017/18</A>
 </ul>
 </TD>
 </TR>