TLA+ Foundation Specification Language Committee

The Specification Language Committee of the TLA+ Foundation has been created. The initial members are Stephan Merz (chairman), Murat Demirbas, Leslie Lamport, and Chris Newcombe.