PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
VenueTata Institute of Fundamental Research
Room nameAG80
Floor0
Room numberAG80
Capacity50
Additional informationThere is no additional information of this room available.
Program

Tue 13 Jan

cfp
11:00 - 12:30: PEPM 2015 - Welcome & Invited Talk at AG80
Chair(s): Kostis SagonasUppsala University / NTUA
cfp142114320000011:00 - 11:15
Day opening
Kenichi AsaiOchanomizu University, Kostis SagonasUppsala University / NTUA
cfp142114410000011:15 - 12:30
Talk
Shriram KrishnamurthiBrown University
cfp
14:00 - 15:30: PEPM 2015 - Types / Code Mining at AG80
Chair(s): Simon ThompsonUniversity of Kent
cfp142115400000014:00 - 14:30
Talk
Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University
cfp142115580000014:30 - 15:00
Talk
Henk Erik van der HoekUtrecht University, Jurriaan HageUtrecht University
cfp142115760000015:00 - 15:30
Talk
cfp
16:00 - 17:30: PEPM 2015 - Tree and Grammars at AG80
Chair(s): Jeremy GibbonsUniversity of Oxford, UK
cfp142116120000016:00 - 16:30
Talk
Patrick BahrUniversity of Copenhagen, Emil AxelssonChalmers University of Technology
cfp142116300000016:30 - 17:00
Talk
Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University
cfp142116480000017:00 - 17:30
Talk
L. Thomas van BinsbergenUniversity of London, Jeroen BransenUtrecht University, Atze DijkstraUtrecht University

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
cfp
11:00 - 12:30: PEPM 2015 - Transformation / Slicing at AG80
Chair(s): Jurriaan HageUtrecht University
cfp142122960000011:00 - 11:30
Talk
Jun LiPeking University, Chenglong WangPeking University, Yingfei XiongPeking University, Zhenjiang HuNational Institute of Informatics
cfp142123140000011:30 - 12:00
Talk
Huiqing LiUniversity of Kent, Simon ThompsonUniversity of Kent
cfp142123320000012:00 - 12:30
Talk
Bjorn LisperMalardalen University, Abu Naser MasudMalardalen University, Husni KhanfarMalardalen University
cfp
14:00 - 15:30: PEPM 2015 - Analysis at AG80
Chair(s): Kenichi AsaiOchanomizu University
cfp142124040000014:00 - 14:30
Talk
Ruud KootUtrecht University, Jurriaan HageUtrecht University
cfp142124220000014:30 - 15:00
Talk
Hidde VerstoepUtrecht University, Jurriaan HageUtrecht University
cfp142124400000015:00 - 15:30
Talk
Kostis SagonasUppsala University / NTUA, John P. GallagherRoskilde University, Roberto GiacobazziUniversity of Verona, Italy, Abu Naser MasudMalardalen University
cfp
16:00 - 16:30: PEPM 2015 - Demo at AG80
Chair(s): Kostis SagonasUppsala University / NTUA
cfp142124760000016:00 - 16:30
Demonstration

Tue 13 Jan 2015

Room11:003012:003013:003014:003015:003016:003017:0030
AG80

Wed 14 Jan 2015

Room9:003010:003011:003012:003013:003014:003015:003016:0030
AG80
09:00 - 10:30
14:00 - 15:30
16:00 - 16:30