C’est le 21 avril que la Fondation Linux a créé une fondation spécifiquement dédiée au langage TLA+, dont la maintenance était jusque-là assurée par Microsoft. L’association indépendante à but non lucratif vise à favoriser l'adoption et le développement du langage de programmation TLA+ (Temporal Logic of Actions). Ce langage permet de modéliser des programmes et des systèmes, en particulier concurrents et distribués.