Workshop &quot;Formalism and Functionalism in Negation&quot;