Lucas Dixon
→ old events
old events
Co-organiser of the forthcoming Scottish Theorem Provers Meeting:
STP Nov 2009
.
Programme chair of
Calculemus 2009
.
Co-programme chair of the
Bundy Symposium
2008.
Programme chair of the
Isabelle Workshop 2007
.
Co-programme chair of the
CIAO Workshop 2007
.