Department of Information Technology

NordConsNet: Nodes

The members of the network work at the following institutions and companies:

  • Ericsson LI/EAB, Linköping, Sweden
  • IAR Systems, Uppsala, Sweden: development tools for embedded systems
  • Industrilogik, Stockholm, Sweden: application of formal methods to industrial problems (now a part of Prover)
  • SICS, the Swedish Institute of Computer Science, Uppsala and Kista, Sweden
  • Tacton, Stockholm, Sweden: configuration
  • Tomologic, Stockholm, Sweden: optimisation for cutting systems
Updated  2018-01-16 08:57:26 by Pierre Flener.