X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/4c370170bf4945f5a31bac01a30098a37d0bb838..f5649511ac4cb0b606060b4fa28cc0f174dd8d89:/ralf/_posts/2017-12-15-people-of-pl-interview.md

diff --git a/ralf/_posts/2017-12-15-people-of-pl-interview.md b/ralf/_posts/2017-12-15-people-of-pl-interview.md
index 7289b85..27e40f4 100644
--- a/ralf/_posts/2017-12-15-people-of-pl-interview.md
+++ b/ralf/_posts/2017-12-15-people-of-pl-interview.md
@@ -3,7 +3,7 @@ title: Interview for People of Programming Languages
 categories: research
 ---
 
-[POPL 2018](https://popl18.sigplan.org/home), the conference where I will present our [RustBelt paper]({{ site.baseurl }}{% post_url 2017-07-08-rustbelt %}), is doing a series of interviews with senior and junior people from the community: [People of Programming Languages](https://www.cs.cmu.edu/~popl-interviews/).
+[POPL 2018](https://popl18.sigplan.org/home), the conference where I will present our [RustBelt paper]({% post_url 2017-07-08-rustbelt %}), is doing a series of interviews with senior and junior people from the community: [People of Programming Languages](https://www.cs.cmu.edu/~popl-interviews/).
 They also asked me if I wanted to be part of this, and of course I accepted.
 This was the first time I was asked to give an interview, so needless to say, I was super excited!
 I got the opportunity to talk about how I came to do research in PL, what my research is about, and ramble a bit about why I think Coq is great.
@@ -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