The latest NSF Future Internet Architecture Summit is taking place in Virginia this week.
Though I applied and was invited to attend, I was unfortunately not able to make it. In my application (which required a statement of “how your research ideas might contribute to an overall network architecture…”) I said that formal modeling and analysis of the security provided by various system components, as well as by the system as a whole, would be an essential part of designing and developing a new Internet architecture. I hope some other cryptographers and/or theorists made it there to get this point across. =)
I would love to hear more details from anyone who was able to attend. There does not appear to be any information about the current summit on the web.