My general research area is in formal methods (computer science), but I recently did some work that is more general than just CS, related to Kalman filters, but really generally applicable to analysis of matrices that contain unit information (e.g., Newtons, Pascals, m/s, etc.). Generally when people discuss dimensional (or unit) analysis they're considering scalar values, but this research involves matrices with heterogeneous unit information. Does anyone have an opinion on what would be a good venue for submitting a paper on a topic like that?