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 rho:Gal((Q) over bar/K) --> GL(2)((F) over bar(l)) we ask if rho is modular. We give three examples of representations rho obtained by restriction of even representations of Gal((Q) over bar/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.