Why travel to conferences when all of the interesting people and meetings come to me? This summer's examples include
Formal Methods in Systems Biology,
WG2.3,
Workshop on the Verification of Concurrent Algorithms, and visits by
Andrey,
Mooly and others.......