Programming Logic and Semantics

Network

Imperial College London

External organisation: University

Exformatics

External organisation: Private company

University of Bologna

External organisation: University

University of Copenhagen

External organisation: University

University of Nottingham

External organisation: University

Aarhus University

External organisation: University

DCR Solutions

External organisation: Private company

University of Kent

External organisation: University

University of Edinburgh

External organisation: University

University of Oslo

External organisation: University

University of Cambridge

External organisation: University

Ericsson

External organisation: Private company

University of Gothenburg

External organisation: University

Tallinn University

External organisation: University

University of Birmingham

External organisation: University

University of Leicester

External organisation: University

University of Turin

External organisation: University

Aalborg University

External organisation: University

McGill University

External organisation: University

Uppsala University

External organisation: University

Metropolitan University College - Former organisation. 01/01/2018. Taken over by Københavns Professionshøjskole

External organisation: University

DFF - Independent Research Fund Denmark

External organisation: Other external organisation

University of Padua

External organisation: University

University of Tartu

External organisation: University

Concordium Research ApS

External organisation: University

eToroX Labs

External organisation: Private company

MAPS Società per Azioni (SPA)

External organisation: Private company

NOVA University Lisbon

External organisation: University

University of Lisbon

External organisation: University

INRIA Sophia Antipolis - Médi

External organisation: Research institution

University of Amsterdam

External organisation: University