Shifted Contact Structures and Their Local Theory

In this paper, we formally define the concept of shifted contact structures on derived (Artin) stacks and study their local properties in the context of derived algebraic geometry. In this regard, for negatively shifted contact derived $\mathbb{K}$-schemes, we develop a Darboux-like theorem and formulate the notion of symplectification.