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

Stefano followed by Banquet1

Banquet1.

Banquet1.

Banquet1 and Jan and Stefano at Banquet1 .

Jan and Stefano at Banquet1 and Jan at the airport.

Banquet1.

Banquet1.

Fairouz and Joe at Banquet1.

Banquet1 and larry

Larry.

Larry.

Larry and Coffe break

banquet2.

Banquet2.

Banquet2 and coffee break.

Coffee break and Alan and his daughter .

Attention.

Attention.

Attention.

Attention.

Attention.

Joe.

Coffee break and dinner.

Larry at the airport and then dinner.

dinner.

dinner.

Colin.

Colin.

attention.

Bob.

Bob.

Bob.

Bob.

Attention.

Attention.

Daniel and Bob.

Bob.

Attention.

Attention and Nicola.

Nicola and Claude.

Claude.

Attention and Claude.

Claude, de Bruijn and Mariangiola and Fairouz.

Guess who.

Claude, Jurgen, Nicola, Fairouz, Mariangiola, de Bruijn.

Claude and last coffee break.

Last Coffee break.

Last Coffee break.

Last Coffee break and de Bruijn, Yoko and Claude.

de Bruijn, Yoko and Claude.

de Bruijn, Yoko and Claude.