Confs in 2005
ETAPS'05 workshops:
UITP'05 (User Interface Workshop)
(9/4/05)
CLASE Workshop
(3/4/05, Edinburgh, subm: 11/2/05)
TYPES Summer School 2005
(15-26/8/05, reg: 3/6/05)***
TYPES small workshop on Invertibility of Lambda-Terms
(Toulouse, 28-29/10/05)***
Back to Zhaohui Luo's "useful pointers" page
.