ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UKII logo UKII
UK Institute of Informatics,
UK
Edinburgh.

Scotland.

Heriot-Watt.