Title: On semidefinite Farkas Lemma and dimensional rigidity of bar frameworks.

Abstract: we develop a new semidefinite Farkas lemma using the Borwein-Wolkowicz facial reduction algorithm. This Lemma is then used to prove a recent characterization, by Connelly and Gortler, of the dimensional rigidity of bar frameworks.