Day 2 of PhD, first day actually in the lab

It went really nicely, I think. Alan is taking on two other students this year, so he did a bit of an intro for us all. I also had a separate meeting with him to talk about my project. He really likes the 5-value logic, and wants me to write it up as a paper straight away for submission to a conference in Barcelona in March. I'm going to have to do quite a lot of background reading, however, so I'm going to have some work to do.

Alan realised that I could use the existing literature on abstract interpretation to help justify my ideas. I just pulled out a couple of papers by Cousot & Cousot that date back to 1977 and 1979. Heavy lattice theory. Valium embodied as paper. But, read them I shall. As a tangental comment, it is really weird now reading mathematical papers that date back to the pre-LaTeX era. They just look so ugly by comparison, and are so much less readable.