Profile cover photo
Profile photo
Derek Dreyer
415 followers
415 followers
About
Derek Dreyer's posts

I had a long argument with Philip Wadler last night about how much I hate Strunk & White. We ended up without either of us having budged one inch, except we agreed that that weird formatting style in CACM, where the middle column of the page is occasionally 3/4 empty, should be considered a memorial to all the "needless words" that were edited out.

Post has attachment
Dave Walker writes: "If you are struggling with an Indian visa for POPL, consider using http://visacentral.com/ Earlier this fall, Dan (my partner) went to India for business for the first time and had VisaCentral do the legwork for his visa application. They fill out online forms and check your documents to see if you have everything in order. You courier documents to them. They send them on. He had no problems with this and everything went smoothly and was done very rapidly. The fees were on the order of $100. It appears as though they do both conference visas and tourist visas. I am in the first stages of the process where they are looking at my application I will report back to let you know how it goes."

IMPORTANT INFO ABOUT POPL'15: If you think you might want to attend POPL'15, and you are not an Indian national, you NEED to "pre-register" for a conference visa this week (by October 10).  That just means going to the POPL'15 registration website, clicking through the whole registration process, and then at the very end clicking on "pre-register" instead of giving your credit card information.  The system will create an account for you and save your  information so you can go back in later on and add the payment info (if you ultimately decide to go).

Post has attachment
We're hiring in the Saarbruecken location of the institute this year. Please consider applying, or encourage your students and postdocs to apply, for a tenure-track position! PL/verification is not a priority hiring area at this point, but we are interested in exceptional candidates regardless of area. Deadline: December 1.

Post has attachment

I always said I wouldn't want to belong to any club that would have me as a member, and now my dream has come true.
Wait while more posts are being loaded