- Dalhousie University [Halifax]
- Delft University of Technology
- Department of Computer Science and Engineering
- Department of Computer Science and Engineering [Bologna]
- Department of Formal Methods
- Department of Information Technology [Howrah]
- Department of Mathematics
- Department of Mathematics and Statistics [uni. Turku]