SLE 2012 Posters

index index index

20 images, Published 2012-09-26.

SLE 2012 Sessions & City

index index index

30 images, Published 2012-09-26.

SL(E)BOK2.0 @ SLE2012

index index index

13 images, Published 2012-09-25.

Lectures on Understanding Software at CWI – in Celebration of Paul Klint

index index index

Pictures from the talks and the dinner afterwards

109 images, Published 2012-06-14.

Poznań

index index index

18 images, Published 2012-06-01.

LDTA 2012 Discussion Session

index index index

Twelfth Workshop on Language Descriptions, Tools and Applications (LDTA 2012)

8 images, Published 2012-04-30.

LDTA 2012 Workshop Dinner

index index index

Twelfth Workshop on Language Descriptions, Tools and Applications (LDTA 2012)

19 images, Published 2012-04-30.

Photos from LDTA 2011

index index index

Eleventh Workshop on Language Descriptions, Tools and Applications (LDTA 2011)

29 images, Published 2011-09-30.

Yanjing Wang’s PhD Defence

index index index

Yanjing successfully defended his thesis, Epistemic Modelling & Protocol Dynamics and obtained his doctorate from UvA.

23 images, Published 2010-09-21.

Unofficial LDTA Excursion to Paphos

index index index

55 images, Published 2010-03-29.

Photos from LDTA 2010

index index index

Tenth Workshop on Language Descriptions, Tools and Applications (LDTA 2010)

21 images, Published 2010-03-28.

Photos from ETAPS 2010

index index index

49 images, Published 2010-03-25.

Photos from LDTA 2009

index index index

A few shots from some of the talks and of the attendees.

19 images, Published 2009-03-29.

Photos from ETAPS 2009

index index index

51 images, Published 2009-03-26.

Jan Heering’s Retirement

index index index

We went to CWI for Jan Heering’s retirement party and to check out the latest developments from CWI. The dinner was in an old greenhouse – a jewish family hid in the greenhouse heater through the war, thus the greenhouse is a kind of monument, and was turned into a restaurant rather than being torn down when it outlived it’s usefulness.

66 images, Published 2009-02-28.

PLDI Reception & Student Research Competition — PLDI, Tucson, Jun 2008

index index index

The SRC Poster Session was held together with the PLDI Margarita Reception. Winners of the 2008 PLDI SRC were Haifeng, Mulhern and Michael (in order).

68 images, Published 2008-06-12.