![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
The seminar went really well!
Jan. 17th, 2004 01:14 amI'm very pleased -- the response was very good.
We were in FC22, a fairly small meeting room. Usually it is OK sizewise, but today it was packed to the gunwhales with people. All of my fellow PhD students from my own group turned up, a couple of people from Intel Research, both my first and second PhD supervisors (Alan Mycroft and Martin Richards). There were a few new faces too, so we probably had some visitors from other groups, so its anyone's guess who they were. Jonothan (a part II compsci who lives 2 doors from me in Eds) came too, which was really nice.
I didn't have a clock or watch to hand, but somehow managed to run to within 10 seconds of my target time (!). The talk itself started off being based on the one that I gave to the UK Async Forum workshop a little while ago, but grew from 25 to 45 minutes in length. I managed to include quite a bit of new material, especially with regard to the hierarchy of logics. I told a Star Trek joke. We had quite a long question session, which delved into some of the darker recesses of the theory. I got to talk about my (still very experimental) mu operator that can handle closed feedback loops.
Alan wants to send me to Imperial to talk to some people there who are also into abstract interpretation with something of a hardware slant. This sounds quite exciting. :-)
Happy hour later was nice. It's only the third or so time I've been. I ended up sitting with some people from the security group, chatting about banknote hacking. Or, more specifically, the new 'feature' in colour copiers, scanners, Adobe Photoshop and Paint Shop Pro that renders them unable to manipulate images of banknotes. The security group were trying to reverse engineer the algorithm, but had also come up with some ways to defeat the algorithm. Namely, scan two notes at once next to each other. Really! That really does defeat the protection.
After that, I wimped out and went back to college. A local mathmo who lives in the same bulding as me came along for a chat. We had an hour and a half of serious mathgeeking, which was great fun. Amongst other things, we were talking about ZF versus NF set theory, lattices, proof systems, my multivalue logics and a bunch of other stuff.
I think I'm turning into a mathmo.
Somebody please help!
We were in FC22, a fairly small meeting room. Usually it is OK sizewise, but today it was packed to the gunwhales with people. All of my fellow PhD students from my own group turned up, a couple of people from Intel Research, both my first and second PhD supervisors (Alan Mycroft and Martin Richards). There were a few new faces too, so we probably had some visitors from other groups, so its anyone's guess who they were. Jonothan (a part II compsci who lives 2 doors from me in Eds) came too, which was really nice.
I didn't have a clock or watch to hand, but somehow managed to run to within 10 seconds of my target time (!). The talk itself started off being based on the one that I gave to the UK Async Forum workshop a little while ago, but grew from 25 to 45 minutes in length. I managed to include quite a bit of new material, especially with regard to the hierarchy of logics. I told a Star Trek joke. We had quite a long question session, which delved into some of the darker recesses of the theory. I got to talk about my (still very experimental) mu operator that can handle closed feedback loops.
Alan wants to send me to Imperial to talk to some people there who are also into abstract interpretation with something of a hardware slant. This sounds quite exciting. :-)
Happy hour later was nice. It's only the third or so time I've been. I ended up sitting with some people from the security group, chatting about banknote hacking. Or, more specifically, the new 'feature' in colour copiers, scanners, Adobe Photoshop and Paint Shop Pro that renders them unable to manipulate images of banknotes. The security group were trying to reverse engineer the algorithm, but had also come up with some ways to defeat the algorithm. Namely, scan two notes at once next to each other. Really! That really does defeat the protection.
After that, I wimped out and went back to college. A local mathmo who lives in the same bulding as me came along for a chat. We had an hour and a half of serious mathgeeking, which was great fun. Amongst other things, we were talking about ZF versus NF set theory, lattices, proof systems, my multivalue logics and a bunch of other stuff.
I think I'm turning into a mathmo.
Somebody please help!
