places'14
|
pc co-chair
principles and practice of session types
|
tutorial at popl'14
4pad
|
pc member
beat II
|
pc member
etaps'13
|
Honda tribute
beat I
|
invited speaker
coordination'13
|
pc member
coordination'12
|
pc member
places'11
|
pc co-chair
coordination'11
| pc member
esop'11
| pc member
wednesday morning club
gloss _
{Lasige} Group of Software Systems
| founding member
the journal of object technology
| editorial board member
(read more...)