NordConsNet: Nodes

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

• Jeppesen Systems (ex Carmen Systems), Göteborg and Stockholm, Sweden

• Chalmers University of Technology and Göteborg University, Sweden: Department of Computer Science and Engineering

• 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)

• KTH -- The Royal Institute of Technology, Stockholm, Sweden: School of Information and Communication Technology and School of Computer Science and Communication

• Linköping University, Sweden: Laboratory for Theoretical Computer Science

• Lund University, Sweden: Embedded Systems Design Laboratory

• Optimal Solutions, Linköping, Sweden

• Örebro University, Sweden: Centre for Applied Autonomous Sensor Systems

• SICS, the Swedish Institute of Computer Science, Uppsala and Kista, Sweden

• SIMULA, Lysaker, Norway: Certus Centre for Software Verification and Validation

• SINTEF, Oslo, Norway: Optimisation group

• Stockholm University, Sweden: Department of Computer and System Sciences

• Tacton, Stockholm, Sweden: configuration

• Tomologic, Stockholm, Sweden: optimisation for cutting systems

• Trade Extensions, Uppsala, Sweden: advanced combinatorial bidding technology

• Uppsala University, Sweden: Optimisation Group