  Locally noncommutative spacetimes provide a refined notion of noncommutative
spacetimes where the noncommutativity is present only for small distances. Here
we discuss a non-perturbative approach based on Rieffel's strict deformation
quantization. To this end, we extend the usual C*-algebraic results to a
pro-C*-algebraic framework.
