Papers in proceedings