ULTRA logo ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UKII logo UKII
UK Institute of Informatics,
UK
Particpants in Princess street, at banquet and Daria at the castle.


Jacek with Mario at the scottish whiskey heritage centre and with Daria at castle

Kerstin in a bus.

Sebastian at Heriot-Watt and Nicola in the bus.

A view of Edinburgh and Fairouz taking a photo of the particpants at banquet 2.