The invited talk for the decade edition of Pragmatics of SAT is Joao Marques Silva. His talk is titled SAT: Disruption, Demise and Resurgence.