SweConsNet: Nodes

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

• Jeppesen Systems, Göteborg and Stockholm

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

• Ericsson LI/EAB, Linköping

• IAR Systems, Uppsala: development tools for embedded systems

• Industrilogik, Stockholm: application of formal methods to industrial problems (now a part of Prover)

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

• Linköping University: Laboratory for Theoretical Computer Science

• Lund University: Embedded Systems Design Laboratory

• Optimal Solutions, Linköping

• Örebro University: Mobile Robotics Laboratory

• SICS, the Swedish Institute of Computer Science, Uppsala: CSL lab on Computer Systems, including Combinatorial Problem Solving and Prolog Technology

• SICS, the Swedish Institute of Computer Science, Kista: IAM lab on Industrial Applications and Methods

• SINTEF, Oslo, Norway

• Tacton, Stockholm: configuration

• Trade Extensions, Uppsala: advanced combinatorial bidding technology

• Uppsala University: ASTRA research group on constraint programming