Confs in 2006
POPL'06
(South Carolina, 11-13/01/06)
Workshop on type theory in Paris
(Paris 24-25/3/06)***
TYPES'06
(Nottingham 18-21/04/06)***
CSL'06
(Hungary, 25-29/09/06, subm: 24/04 and 01/05/06)***
ICALP06
(and
CSFW19
) (Venice, July 2006)***
FLoC'06
(Seattle, 10-22/08/06)
Inter Workshop on LF and Meta-Lang: Theory and Practice (LFMTP'06, 16/08/06, subm: 15/05/06)
AISC'06
(Beijing, 20-22/09/06)***
Lecture by Tony Hoare at BCS
(25th October 2006)***
ASIAN'06
(6-8/12/06, Tokyo)***
Back to Zhaohui Luo's "useful pointers" page
.