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

Wed 14 Jan
Times are displayed in time zone: Chennai, Kolkata, Mumbai, New Delhi change

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