PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
Wed 14 Jan 2015 09:00 - 09:30 at AG80 - Verification Chair(s): Kostis Sagonas

Wed 14 Jan

cfp
09:00 - 10:30: PEPM 2015 - Verification at AG80
Chair(s): Kostis SagonasUppsala University / NTUA
cfp142122240000009:00 - 09:30
Talk
Kazuyuki AsadaUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Naoki KobayashiUniversity of Tokyo
cfp142122420000009:30 - 10:00
Talk
Duy-Khanh LeNational University of Singapore, Wei-Ngan ChinNational University of Singapore, Yong Meng TeoNational University of Singapore
cfp142122600000010:00 - 10:30
Talk
Bishoksan KafleRoskilde University, John P. GallagherRoskilde University