Serre's Conjecture for Imaginary Quadratic Fields

We study an analog over an imaginary quadratic field K of Serre's conjecture for modular forms. Given a continuous irreducible representation :Gal(Q/K) GL₂(F_l) we ask if is modular. We give three examples of representations obtained by restriction of even representations of Gal(Q/Q). These representations appear to be modular when viewed as representations over K, as shown by the computer calculations described at the end of the paper.