IFIP WG 2.3 meeting 53

Logistics

Where:  Woodmark Hotel, Kirkland, WA, USA
When:  16-20 July 2012
Host:  Rustan Leino

Topics of discussion

Congratulations to Shriram Krishnamurthi, winner of the SIGPLAN 2012 Robin Milner Young Researcher Award.

Congratulations to Rustan Leino and Greg Nelson, two of the authors of a paper that won the SIGPLAN most influential PLDI paper award.

Participants

From Monday, July 16, to Wednesday, July 18, the meeting was held jointly with working group 1.9 (WG 1.9).

IFIP WG 2.3 home page