fix formatting

[web.git] / personal / _posts / 2017-12-15-people-of-pl-interview.md

diff --git a/personal/_posts/2017-12-15-people-of-pl-interview.md b/personal/_posts/2017-12-15-people-of-pl-interview.md
index 8722b4bbc36d648c6a9c76390a3090d8f999ccd5..27e40f49686ffaba0f887466da6c40967cb37204 100644 (file)
--- a/personal/_posts/2017-12-15-people-of-pl-interview.md
+++ b/personal/_posts/2017-12-15-people-of-pl-interview.md
@@ -14,7 +14,7 @@ Thanks a lot to Jean Yang, the Publicity Chair for POPL 2018, for making this a
 (Though, as you can see, I had to send them a picture, which was certainly the least pleasant part of this. ;)
 
 PS: It seems I have consistent bad luck with my POPL talk slots, because my talk
-is [again](http://popl.mpi-sws.org/2015/program.html) in the very last session
+is [again](https://popl.mpi-sws.org/2015/program.html) in the very last session
 of the conference.  This time, in fact, it's the
 [very last talk](https://popl18.sigplan.org/program/program-POPL-2018?date=Fri%2012%20Jan%202018)
 of the main track.  Maybe some people read this interview and consider staying