Welp, my flight has now been rebooked for Thursday. If this one actually goes ahead, it would be great, since it's a direct flight to Philly, rather than through Minneapolis. Staying with Brigitte for the time being since my hotel reservation ran out. Had a great bit of conversation about Twelf and Beluga and variable binding and LF variants and nominal logic and all sorts of stuff.