Hi everyone, I am planning to give another torture chamber for my POPL talk today at 16:00 at 366. I would be grateful if you attend and give me your feedback. Thank you. .Christos