World leaders, tech bosses work on stemming online violence