We have another great line-up of meet-ups scheduled for November across a number of our chapters:
San Francisco 11/13: Leif Walsh on Level Ancestor Simplified
New York 11/18: Jean Yang on An Axiomatic Basis for Computer Programming
Washington DC 11/20: David Nolen on Worlds: Controlling the Scope of Side Effects
Montreal 11/20: Julian Squires on Procedural Modeling of Buildings
Singapore 11/24: Security Applications of Formal Language Theory
The New York chapter would like to give special thanks to The Ladders Engineering Team for sponsoring the food and refreshments for the November meetup.