PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
Filter
Dates
Rooms
Tracks
Badges
Your Program

Tue 13 Jan

cfp
11:00 - 12:30: PEPM 2015 - Welcome & Invited Talk at AG80
Chair(s): Konstantinos (Kostis) SagonasUppsala University / NTUA
cfp11:00 - 11:15
Day opening
Kenichi AsaiOchanomizu University, Konstantinos (Kostis) SagonasUppsala University / NTUA
cfp11: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
cfp14:00 - 14:30
Talk
Casper Bach PoulsenSwansea University, Peter D. MossesSwansea University, Paolo TorriniSwansea University
cfp14:30 - 15:00
Talk
Henk Erik van der HoekUtrecht University, Jurriaan HageUtrecht University
cfp15:00 - 15:30
Talk
cfp
16:00 - 17:30: PEPM 2015 - Tree and Grammars at AG80
Chair(s): Jeremy GibbonsUniversity of Oxford, UK
cfp16:00 - 16:30
Talk
Patrick BahrUniversity of Copenhagen, Emil AxelssonChalmers University of Technology
cfp16:30 - 17:00
Talk
Jeroen BransenUtrecht University, Atze DijkstraUtrecht University, S. Doaitse SwierstraUtrecht University
cfp17: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): Konstantinos (Kostis) SagonasUppsala University / NTUA
cfp09:00 - 09:30
Talk
Kazuyuki AsadaUniversity of Tokyo, Ryosuke SatoUniversity of Tokyo, Naoki KobayashiUniversity of Tokyo
cfp09:30 - 10:00
Talk
Duy-Khanh LeNational University of Singapore, Wei-Ngan ChinNational University of Singapore, Yong Meng TeoNational University of Singapore
cfp10: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
cfp11:00 - 11:30
Talk
Jun LiPeking University, Chenglong WangPeking University, Yingfei XiongPeking University, Zhenjiang HuNational Institute of Informatics
cfp11:30 - 12:00
Talk
Huiqing LiUniversity of Kent, Simon ThompsonUniversity of Kent
cfp12: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
cfp14:00 - 14:30
Talk
Ruud KootUtrecht University, Jurriaan HageUtrecht University
cfp14:30 - 15:00
Talk
Hidde VerstoepUtrecht University, Jurriaan HageUtrecht University
cfp15:00 - 15:30
Talk
Konstantinos (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): Konstantinos (Kostis) SagonasUppsala University / NTUA
cfp16: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
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)