1: \begin{abstract}

2: Let $\mathcal S$ be a set of monic degree $2$ polynomials over a

3: finite field and let $C$ be the compositional semigroup generated by $\mathcal

4: S$. In this paper we establish a necessary and sufficient condition for $C$ to

5: be consisting entirely of irreducible polynomials. The condition we

6: deduce depends on the finite data encoded in a certain graph uniquely

7: determined by the generating set $\cS$. Using this machinery we are able both

8: to show examples of semigroups of irreducible polynomials generated by two

9: degree $2$ polynomials and to give some non-existence results for some of these

10: sets in infinitely many prime fields satisfying certain arithmetic conditions.

11: \end{abstract}

12: