Groupe de recherche en logique langage et informatique

King's College London
Strand
London
WC2R 2LS

Royaume Uni