Mon 8 Jan 2018 16:00 - 17:30 at Watercourt - Invited Tutorial by Mayur Naik Chair(s): Jens Palsberg

Mon 8 Jan

VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Invited Tutorial by Mayur Naik at Watercourt
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
VMCAI-201816:00 - 17:30
Talk
Mayur NaikUniversity of Pennsylvania, Xujie SiUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, USA, Radu GrigoreUniversity of Kent