Gabriele Taentzer presenting

Gabriele Taentzer presenting

Alessandro Rossini’s talk

Alessandro Rossini’s talk

Alessandro Rossini’s talk

Lunchtime

Lunchtime

Some forms of encapsulation reveal... features of the underlying structure...

...which may be inspected visually...

...or even manipulated through the... encapsulation layer. This may or may not be desirable.

National Railway Museum

National Railway Museum

National Railway Museum

National Railway Museum

National Railway Museum

National Railway Museum

National Railway Museum

National Railway Museum

National Railway Museum

The Iron Duke

Shinkansen Bullet

Stevenson Rocket

Post Office on Wheels

National Railway Museum

National Railway Museum

National Railway Museum

The Stevenson Rocket

The Mallard

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet

ETAPS Banquet