NASSLLI was a blast! I got to catch up with old friends (Anastasia!), make a few new ones (Anatha! Seth!) and - among other things - enjoy Rineke Verbrugge masterfully dissect shifts in rational knowledge attributions in the Friends episode The One Where Everybody Finds Out, using Kripke models. Other highlights include debating whether logic is the right tool to characterize counterfactual attitudes over lunch with Valentin Goranko, being mesmerized by Patrick Blackburn's entertaining and persuasive case for Hybrid Logic, and enjoying Paolo Santorio and Justin Khoo explore triviality results concerning conditionals and probabilities.
Also, the Carnegie Mellon campus is beautiful.