What is the abbreviation for Edmonds community college?

Looking for the shorthand of Edmonds community college or how to abbreviate it? We have 2 shorthands for Edmonds community college.